Web3 Security Audit Agent powered by GLM-5.1 Long-Horizon Task Capability
Smart contract security audits are slow, expensive, and unverifiable.
Human audits take 2-4 weeks and cost $50,000+. AI tools can only detect single vulnerabilities, not complete attack chains.
There's no way to verify the audit process or results on-chain.
Athena uses GLM-5.1's long-horizon task capability to complete an 8-step audit pipeline in a single session.
From vulnerability discovery to on-chain certification, everything is automated and verifiable.
AI Agent autonomously audits, generates PoC, runs fuzz tests, and mints NFT certificates.
Parse contract source code, identify functions, state variables, and inheritance hierarchy.
protocol_scannerRun Slither and Aderyn in parallel for comprehensive vulnerability detection.
slither_runner aderyn_runnerQuery ChromaDB knowledge base for similar vulnerability patterns and historical exploits.
knowledge_baseAuto-generate Foundry test contracts that prove vulnerabilities are exploitable.
poc_generator exploit_simulatorRun Foundry fuzz tests (256 runs) and Halmos symbolic execution for mathematical proof.
fuzz_runner halmos_runnerGenerate fix suggestions, apply patches, re-audit to verify vulnerabilities are resolved.
repair_validator incremental_auditorSubmit audit results to Ethereum Attestation Service (EAS) for immutable on-chain record.
eas_attest evidence_chainMint S/A/B/C tier generative Athena NFT (768,000 combinations) with on-chain SVG.
AuditCertificate ERC-1155Complete audit flow from contract analysis to on-chain NFT certification
Self-built toolchain covering static analysis, PoC generation, fuzz testing, and on-chain certification
Parallel audit methodology: reentrancy, oracle manipulation, flash loan, access control, and more
9 trait dimensions: helmet × shield × color × weapon × background × eyes × aura × crown × wings
768,000 unique combinations · On-chain SVG · No IPFS
Target users, core value proposition, business model, and competitive advantages.
Read Docs →8-step pipeline, 13 MCP tools, 12 audit agents, and GLM-5.1 integration.
Read Docs →S/A/B/C tier system, 768,000 trait combinations, on-chain SVG generation.
Read Docs →Athena is open source and deployed on Sepolia testnet.