What problem does it solve?
This Skill addresses the critical need for rigorous, independent quality assurance in smart contract development, ensuring that security-sensitive code meets strict GRC compliance standards before deployment.
Core Features & Use Cases
- Automated Security Audits: Executes manual line-by-line reviews and automated SAST tools like Slither to identify vulnerabilities.
- Invariant Fuzzing: Runs Echidna and Foundry fuzz tests to verify critical protocol invariants against testnet states.
- Regression Testing: Validates that new code changes do not break existing functionality or admin matrix permissions.
- Use Case: A developer submits a new upgrade for a value-bearing protocol; the QA agent automatically triggers a fuzz test suite and regression check to ensure no critical invariants are violated before the audit sign-off.
Quick Start
Initiate the internal audit process for the current codebase by providing the commit hash and confirming the environment is frozen.