What problem does it solve?
Many Dojo/Cairo projects ship with subtle model, system, and security issues, inefficient gas usage, and gaps in test coverage that lead to runtime failures and unsafe on-chain behavior. This Skill helps teams and auditors quickly surface those design and implementation problems so fixes can be prioritized before deployment.
Core Features & Use Cases
- Model review: Verifies required trait derivations, key ordering, field types, and promotes small focused ECS-style models.
- System review: Checks interface attributes, contract annotations, namespace usage, input validation, event emission, and authorization patterns.
- Security & correctness: Detects missing ownership checks, integer under/overflow risks, improper state writes, and non-atomic updates.
- Gas optimization & performance: Finds redundant model reads/writes, oversized types, and unnecessary computations to reduce transaction costs.
- Test coverage analysis: Identifies missing unit and integration tests, edge case omissions, and failure-case assertions for robust CI.
- Use cases: Pre-release audits, code review sessions, security assessments, and developer onboarding checklists.
Quick Start
Review my Dojo project for model correctness, system security, gas optimizations, and missing tests.