cvc5
PyPIIs cvc5 safe to use?
Based on the latest brin safety scan, no vulnerabilities or threats were detected for cvc5 v1.3.2. Trust score: 65/100. No known CVE vulnerabilities, no detected threat patterns, and no suspicious capabilities identified. This is an automated, point-in-time assessment.
Install (safety-checked)
cvc5 Passed Security Checks
No security concerns detected
0
0
0
No Concerns Detected
No security concerns detected in the latest brin assessment. This is an automated, point-in-time evaluation — security posture may change.
This is an automated, point-in-time assessment and may contain errors. Findings are risk indicators, not confirmed threats. Security posture may change over time. Maintainers can dispute findings via the brin review process.
cvc5 Capabilities & Permissions
What cvc5 can access when installed. Review these capabilities before using with AI agents like Cursor, Claude Code, or Codex.
Filesystem Access
Writes to the filesystem.
Native Modules
Contains native code that runs outside the JavaScript sandbox.
AGENTS.md for cvc5
Good instructions lead to good results. brin adds cvc5 documentation to your AGENTS.md so your agent knows how to use it properly—improving both safety and performance.
brin initVercel's research: 100% accuracy with AGENTS.md vs 53% without →
cvc5 Documentation & Source Code
For the full cvc5 README, API documentation, and source code, visit the official package registry.
Frequently asked questions about cvc5 safety
Install (safety-checked)
Weekly Downloads
Version
1.3.2Last Scanned
Trust Score
Capabilities
Writes files
Contains native modules