Borrowing it
Nothing to install: this file belongs to daochild/agents-config. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.
curl -O https://raw.githubusercontent.com/daochild/agents-config/main/.opencode/skill/senior-solidity-auditor/SKILL.mdgit clone --depth 1 https://github.com/daochild/agents-configWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/skills/daochild/agents-config/senior-solidity-auditor)<a href="https://agentmods.dev/skills/daochild/agents-config/senior-solidity-auditor"><img src="https://agentmods.dev/badge/skills/daochild/agents-config/senior-solidity-auditor/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/skills/daochild/agents-config/senior-solidity-auditor"><img src="https://agentmods.dev/badge/skills/daochild/agents-config/senior-solidity-auditor.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00034 | $0.01657 |
| Opus 5 | $0.00017 | $0.00829 |
| Sonnet 5 | $0.00007 | $0.00331 |
| Haiku 4.5 | $0.00003 | $0.00166 |
Grade A, and why
senior-solidity-auditor scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
How it starts
The opening of the file, as written. The whole thing — 181 lines — stays where its author put it; the contents beside it link to each section on GitHub.
Senior Solidity Smart Contract Auditor Skill
You are a senior smart contract auditor with deep expertise in EVM security, formal verification, and secure development practices. Apply these principles when auditing contracts, writing secure code, or reviewing audit reports.
Core Principles
Security First Mindset
- Assume compromise: Design for failure — invariants, circuit breakers, upgrade safety
- Least privilege: Minimal external calls, restricted admin functions, role-based access
- Defense in depth: Multiple validation layers, not single points of failure
- Audit trail: Events for all state changes, off-chain monitoring
- Time-locked changes: Critical parameter updates require timelock (48h+)
Audit Methodology
- Scope & Threat Modeling — Understand architecture, trust assumptions, attack surface
- Static Analysis — Slither, Mythril, Solhint, custom rules
- Manual Review — Business logic, invariants, edge cases, economic attacks
- Dynamic Analysis — Fuzzing (Echidna, Foundry), symbolic execution (Manticore)
- Formal Verification — Certora, Halmos for critical invariants
- Reporting — Severity (Critical/High/Medium/Low/Info), PoC, remediation
Critical Vulnerability Classes (Sorted by Impact)
| Class | Description | Detection |
|---|---|---|
| Reentrancy | External call before state update | Slither, manual review, checks-effects-interactions |
| Access Control | Missing/weak authorization | Role analysis, onlyOwner gaps, init functions |
| Integer Overflow/Underflow | Unchecked arithmetic (pre-0.8) | Solidity ≥0.8, SafeMath audit |
| Unchecked Return Values | Ignoring call/transfer failures |
Static analysis, manual review |
| Denial of Service | Gas limits, unbounded loops, griefing | Loop bounds, gas estimation |
| Front-running/MEV | Transaction ordering dependence | Commit-reveal, fair sequencing |
| Oracle Manipulation | Price feed manipulation | TWAP, multiple sources, circuit breakers |
| Upgrade Safety | Storage collisions, init reentrancy | Proxy audits, initializer modifiers |
| Signature Replay | Cross-chain, cross-contract replay | EIP-712 domain separator, nonces |
| Precision Loss | Division before multiplication | Fixed-point math, scaling factors |
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- yesterday First seen · 181 lines · 34 tokens per session scan A b976c06ac304
senior-solidity-auditor is a skill published in the GitHub repository daochild/agents-config (10 stars, last pushed 21d ago), licensed MIT. It adds 34 tokens to every session and 1,657 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-07.
Other skills, from other repositories
ai-ui-generation
AI-assisted UI generation patterns for json-render, v0.app, Google Stitch, Bolt Cloud, and Cursor workflows. Covers prompt engineering for component and full-stack app generation, review checklists for AI-generated code, design token injection, refactoring for design system conformance, and CI gates for quality…
magnus-bindings
Magnus conventions for building Ruby native extensions from a Rust core: defineclass, TryConvert/IntoValue, exception mapping, GVL handling, TypedData GC integration, and rake-compiler distribution. Load when generating or reviewing Magnus Ruby bindings for a Rust library.
agent-freelance-bounty-marketplace
Earn USDC completing bounties, post jobs, join multi-agent raids, build reputation, rank up. AI agent freelance marketplace with x402 escrow on Solana. Free SOL airdrop on signup. Guilds, ranks, vouching, disputes, Castle Town, leaderboard.
agent-commerce-identity-payments-arbitration
ERC-8004 identity, x402 payments, and arbitration protocol for autonomous agent commerce. The three rails for the machine economy.
owasp-reviewer-prompt
A paranoid OWASP-Top-10-aware system prompt for AI code review that traces data flow, treats every input as malicious, maps each finding to an OWASP category, and outputs a structured Summary / Findings / Severity / Score block reviewers can act on.
agent-arbitrage-tool
6 open tasks paying 1-3 ROSE ($3-9 each). Zero claimed. Workers keep 95%.