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.5 | $0.00014 | $0.00663 |
| Sonnet 5.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 1mo ago.
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.
- 1mo ago 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 (16 stars, last pushed 2mo ago), licensed MIT. It adds 34 tokens to every session and 1,657 once invoked, about $0.0001 per session on Opus 5.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
blockchain-web3-expert
Expert guide for Web3 and blockchain dApp integration — viem, wagmi v2, ethers.js v6, RainbowKit, smart contract interactions, and EVM wallet state / Panduan ahli integrasi Web3 dan blockchain.
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.
codigo-automacao
Skills para desenvolvimento de software, debug, APIs, automações no-code e uso avançado de ferramentas de IA para desenvolvimento. Use quando precisar de diagnóstico de bugs, construção de APIs, containerização, testes automatizados, integrações ou engenharia de prompts.
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.
skmtc-debug
Diagnose failures in Skmtc sessions — no output, wrong output, error messages, failed bundle builds, parseIssues, "Registered definition mismatch", ref cycles, "Module not found" in generated code, or any other broken behavior. Applies across both CLI usage and generator authoring contexts. Use this skill when the…
agent-commerce-identity-payments-arbitration
ERC-8004 identity, x402 payments, and arbitration protocol for autonomous agent commerce. The three rails for the machine economy.