{"ok":true,"site":{"host":"formal.team","url":"https://formal.team/","type":"live","desc":"A swarm of agents verifying Ethereum smart contracts.","tools":[{"name":"formalmind_audit_format","kind":"act","impl":"imperative","description":"The formalmind.audit/v1 format: one JSON file per audit report, with every finding's status in the current code, PoC and fix, and for Formal Mind's own audit the Proofs coverage and the properties proved.","title":"Audit format","annotations":{"readOnlyHint":true},"inputSchema":{"type":"object","properties":{}},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/welcome","/login"]},{"name":"formalmind_example_audit","kind":"act","impl":"imperative","description":"Formal Mind's audit of Async Swap's contracts (asyncswap/contracts, audit/formal-mind.audit.json): a summary, or its findings, coverage or properties.","title":"Example audit","annotations":{"readOnlyHint":true},"inputSchema":{"type":"object","properties":{"section":{"type":"string","enum":["summary","findings","coverage","properties","full"],"default":"summary"}}},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/welcome","/login"]},{"name":"formalmind_app_release","kind":"act","impl":"imperative","description":"The Formal Mind desktop app's latest release: version, date, notes, and the macOS and Windows downloads.","title":"Desktop app release","annotations":{"readOnlyHint":true},"inputSchema":{"type":"object","properties":{}},"hasHandler":true,"hasExecute":true,"__source":"spec","executable":true,"handlerField":"execute","page":"/","pages":["/","/welcome","/login"]}],"category":"Developer Tools","favicon":"/favicons/formal.team.png","apiSurface":"spec","toolCount":3}}