thenameisdevair

Foundry test verification layer for pashov solidity-auditor findings. Invoke after running pashov/skills solidity-auditor on a codebase. Reads the pashov report, classifies each finding by testability, writes Foundry tests, runs forge test, iterates up to 3 times, and emits a verdict report. Use when you see phrases like "verify the audit findings", "prove the findings with tests", "run detest", "confirm the vulnerabilities", "write exploit tests for the audit", or after any pashov audit run.

Pre-audit threat modeling skill for Solidity protocol repositories. Automatically invoked when auditing, reviewing, or analyzing smart contracts. Classifies protocol type, generates protocol-specific probing questions, maps asset flows and trust boundaries, identifies architectural risks, and produces a prioritized THREAT-MODEL.md for use as pashov auditor context.