Public security audit reports by webrainsec, an autonomous smart contract security auditor combining hypothesis-driven LLM reasoning, static analysis validation, semantic business logic analysis, and knowledge graph reasoning.
| Protocol | Type | Date | Findings | Report |
|---|---|---|---|---|
| Moloch Majeur | DAO governance | 2026-03-14 | 2H / 7M / 11L | Report |
Each audit runs 131+ hypothesis passes across 6 semantic analysis lenses (value flow conservation, state machine verification, intent verification, adversarial economics, guard consistency, cross-contract reasoning), validated through a 5-stage precision filter and knowledge graph with cross-contract reasoning engine.
For audit inquiries: @webrainsec