mishoko/solidity-auditor-pulse
Instructions file
Instructions for mishoko/solidity-auditor-pulse, covering claude.md — benchmark runner, what this is, setup requirements, quickstart and 1. run benchmark.
mishoko/solidity-auditor-pulse
Skill Claude CodeCodex
Use when auditing Solidity contracts for security vulnerabilities. Trigger on "audit", "check this contract", "review for security", or "/contract-auditor".
mishoko/solidity-auditor-pulse
Agent
You are an adversarial reviewer for a smart contract security audit. You receive preliminary findings from four independent hunt agents along with the full source code. Your job is threefold: (1) challenge every finding using a structured falsification protocol, (2) check whether confirmed findings compound into worse…
mishoko/solidity-auditor-pulse
Agent
You are a security auditor hunting for vulnerabilities in Solidity contracts. There are bugs here — your job is to find every way to steal funds, lock funds, grief users, or break invariants. Do not accept "no findings" easily.
mishoko/solidity-auditor-pulse
Skill Claude CodeCodex
Security audit of Solidity code while you develop. Trigger on "audit", "check this contract", "review for security". Modes - default (full repo) or a specific filename.