Skill audit report
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
The Trust Score helps an agent decide whether a skill is safe enough to shortlist before installation.
GitHub adoption
INFO76
585 GitHub stars
Stars/forks activity
INFO71
585 stars, 222 forks; issue activity unavailable in current metadata
Recent maintenance
INFO76
3mo since push
License clarity
PASS86
Apache-2.0
README/SKILL.md completeness
PASS90
Metadata includes enough usage and workflow context
Dependency/runtime risk
PASS90
no major dependency risk hints in public metadata
Install availability
PASS92
npx skills add starkware-libs/cairo-vm
Install command safety
PASS92
standard package or runtime install path
Permission surface
PASS86
filesystem or document access
Repository evidence
PASS86
https://github.com/starkware-libs/cairo-vm
Review status
PASS88
AI review data available
Agent Proven outcomes
INFO54
No agent outcome data yet
Checks
Install path
92
npx skills add starkware-libs/cairo-vm
Repository
88
https://github.com/starkware-libs/cairo-vm
License
86
Apache-2.0
Maintenance
76
3mo since push
AI review
88
Approved with no listed issues
README/SKILL.md completeness
90
Usable description available
Dependency risk
90
no major dependency risk hints in public metadata
Install command safety
92
standard package or runtime install path
Permission surface
86
filesystem or document access
Stars/forks activity
71
585 stars, 222 forks; issue activity unavailable in current metadata
Adoption
88
585 GitHub stars
Financial decision safety
58
Research-only use: do not treat output as financial advice or execute a position without human approval.
Warnings
Method
This report combines public metadata, AI review output, repository freshness, install readiness, OpenAgentSkill events, quality scoring, trust checks, and the agent safety gate. It is not a full source-code security review.
Compare nearby options
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
74K Stars · Audit report
Solidity, the Smart Contract Programming Language
26K Stars · Audit report
Rust full node implementation of the Fuel v2 protocol.
57K Stars · Audit report