{"repo":"l33tdawg/aether","free":true,"listed":false,"github":"https://github.com/l33tdawg/aether","clone":"git clone https://github.com/l33tdawg/aether.git","description":"AI Smart Contract Security Analysis and PoC Generation Framework","language":"Python","stars":65,"topics":["ai","audit","bugbounty","smart-contracts","solidity","solidity-contracts","web3"],"license":"MIT","category":"blockchain-web3","readme_excerpt":"Aether v6.0 — Smart Contract Security Analysis Framework Version 6.0 What's New in v6.0 Changelog Aether is a Python-based framework for analyzing Solidity smart contracts, generating vulnerability findings, producing Foundry-based proof-of-concept (PoC) tests, and validating exploits on mainnet forks. It combines Solidity AST parsing, taint analysis, control flow graph analysis, cross-contract analysis, Halmos symbolic execution, 180+ pattern-based static detectors, a collaborative multi-agent LLM pipeline (GPT/Gemini/Claude) with shared SAGE institutional memory, 14 protocol archetypes, a 75+ exploit knowledge base, ML-calibrated detection, token quirks detection, invariant extraction, related contract context resolution, and advanced context-aware filtering into a single persistent full-screen TUI. What's New in v6.0 Collaborative Agent Pipeline — The deep analysis pipeline transforms from 5 independent passes to 5 collaborative agents sharing structured knowledge through SAGE institutional memory: - Shared session memory — Each pass stores findings, dismissals, and verified protections in a per-audit SAGE session. Later passes receive \"Prior Pass Intelligence\" instead of flat text summaries. - Dismissals as first-class records — When Pass 3 dismisses a concern (e.g., \"reentrancy protected by nonReentrant modifier\"), Pass 5 won't re-flag it. This directly eliminates the #1 source of duplicate findings. - Challenge mechanism — Later passes can override prior dismissals, but","default_branch":null,"files":null,"tree":[],"storefront":"/r/l33tdawg","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/l33tdawg/aether/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}