solidity-audit-agent
Automated smart contract security auditor with ZK-proven assertions (Groth16) and multi-scanner AI synthesis.
Best use case
solidity-audit-agent is best used when you need a repeatable AI agent workflow instead of a one-off prompt.
Automated smart contract security auditor with ZK-proven assertions (Groth16) and multi-scanner AI synthesis.
Teams using solidity-audit-agent should expect a more consistent output, faster repeated execution, less prompt rewriting.
When to use this skill
- You want a reusable workflow that can be run more than once with consistent structure.
When not to use this skill
- You only need a quick one-off answer and do not need a reusable workflow.
- You cannot install or maintain the underlying files, dependencies, or repository context.
Installation
Claude Code / Cursor / Codex
Manual Installation
- Download SKILL.md from GitHub
- Place it in
.claude/skills/solidity-audit-agent/SKILL.mdinside your project - Restart your AI agent — it will auto-discover the skill
How solidity-audit-agent Compares
| Feature / Agent | solidity-audit-agent | Standard Approach |
|---|---|---|
| Platform Support | Not specified | Limited / Varies |
| Context Awareness | High | Baseline |
| Installation Complexity | Unknown | N/A |
Frequently Asked Questions
What does this skill do?
Automated smart contract security auditor with ZK-proven assertions (Groth16) and multi-scanner AI synthesis.
Where can I find the source code?
You can find the source code on GitHub using the link provided at the top of the page.
SKILL.md Source
# Solidity Audit Agent Automated smart contract security auditor with ZK-proven assertions (Groth16) and multi-scanner AI synthesis. ## Source - **Discovered via**: AltLLM web search (2026-04-15) - **URL**: https://8004scan.io/agent/84532/4861
Related Skills
okx-audit-log
Use this skill when the user asks to export audit logs, find audit log location, view command history, 导出日志, 查看日志, 日志路径, 操作记录, 调用记录, 命令历史. Do NOT use for wallet balance, token search, swap, or any other on-chain operation — use the corresponding skill instead.
query-token-audit
Query token security audit to detect scams, honeypots, and malicious contracts before trading. Returns comprehensive security analysis including contract risks, trading risks, and scam detection. Use when users ask "is this token safe?", "check token security", "audit token", or before any swap.
secureth-auditor
Autonomous AI agent specializing in smart contract security audits for EVM networks using symbolic execution for vulnerability detection.
audit-claw
Security and audit agent continuously monitoring smart contract interactions and scanning for vulnerabilities.
Solidity
Avoid common Solidity mistakes — reentrancy, gas traps, storage collisions, and security pitfalls.
8004-skill
ERC-8004 Trustless Agents - Register and manage AI agent identities on TRON and BSC blockchains with on-chain reputation tracking
8004-MCP - Agent Registry Protocol
Multi-chain MCP server for ERC-8004 Agent Registry. Query agents, reputation, and feedback across Solana + EVM chains.
supurr
Backtest, deploy, and monitor trading bots on Hyperliquid. Supports Grid, DCA, and Spot-Perp Arbitrage strategies across Native Perps, Spot markets (USDC/USDH), and HIP-3 sub-DEXes.
senpi-skills
Agent Skills for autonomous crypto trading on Hyperliquid — trailing stops, market scanning, position management, and more.
sdks
Official Azex SDKs — TypeScript, Python, MCP Server, CLI for the crypto-native LLM API gateway
perp-cli
Multi-DEX perpetual futures CLI + MCP server — Pacifica (Solana), Hyperliquid, Lighter (Ethereum). 18 MCP tools for AI-powered trading
okx-exchange-websocket-skill
Subscribe to OKX public exchange WebSocket channels through UXC raw WebSocket mode for ticker, trade, book, and candle events with explicit subscribe frames.