cairo-auditor
Audit Cairo and Starknet code for hint validation failures, felt252 overflow, builtin misuse, and Sierra-to-CASM soundness gaps. Use when reviewing Cairo contracts, prover hints, or Starknet-specific proof construction.
Quellinformationen
- Repository
- Yue-Zhou1/zkcrypto-audit
- Letzte Quellaktivität
- 13. Juli 2026 um 02:19
- Erkannte Sprache von SKILL.md
- Englisch
- Sterne
- 3
- Forks
- 1
Installationsoptionen
Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.
Quelldateien prüfen
Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.
