spec-to-code-compliance
Verifies blockchain smart contract code against technical specifications, whitepapers, and design documents to ensure exact implementation compliance.
Discover reusable agent skills, browse implementation details, and find the right skill for your workflow.
135 skills found
Verifies blockchain smart contract code against technical specifications, whitepapers, and design documents to ensure exact implementation compliance.
Scans Solana programs (native/Anchor) for 6 critical vulnerabilities, including arbitrary CPI, improper PDA validation, and missing ownership checks, providing detailed fix recommendations.
Map the attack surface of smart contract codebases by identifying and categorizing state-changing entry points.
Expert Rust analysis for ownership, borrowing, and lifetime errors, including E0382, E0597, and memory safety patterns.
6-phase read-only Python analysis workflow that identifies design principle violations, code smells, and modernization opportunities based on specific project types (POC to Open Source).
A professional code quality suite for software engineers, implementing SOLID principles, design patterns, refactoring techniques, and technical debt management to ensure clean, maintainable, and production-ready code.
Guided statistical analysis with test selection, assumption checking, power analysis, and APA-formatted reporting for academic and experimental research.
Cross-document validation, traceability gap detection, and project-wide consistency checks for the SDD framework.
Token-efficient codebase analysis skill for call graphs, semantic search, impact analysis, and data flow. Saves ~95% tokens vs. raw reads.
Systematically trace code flows, locate implementations, diagnose performance issues, and map system architecture to understand complex codebases.
Orchestrate Codex CLI for efficient parallel coding, task automation, and session-managed workflows to optimize token usage and development speed.
Token-efficient codebase navigation through intelligent symbol indexing, domain chunking, and architectural layer filtering. Reduce token usage by 60-95% when exploring or developing complex systems.