Smart contracts
Deterministic on-chain engines and a multi-model panel run against a deployed address or verified source, ending in a transaction hash rather than an opinion.
What people come here for
Solidity Static Analysis
Slither, Aderyn, Mythril and in-house rules over your source without executing the contract. This is the deterministic pass, and it runs before any model is asked anything.
Full definition →Invariants & Properties
Fuzzes the contract against the rules you declare must always hold, steering the search deeper toward an input that breaks one.
Full definition →Economic Security
Models market behaviour and participant incentives, for the case where the code is correct and the economics are what can be turned against you.
Full definition →Multi-model Panel
Several language models review the same code in distinct assigned roles, and a judging step consolidates what they return. It is the slowest stage and the only one that reads intent.
Full definition →Deployed Drift
Checks whether the bytecode actually live in production still matches the source that was reviewed. Reviews age; deployments move.
Full definition →Everything else in this surface
Each name opens its own one-line definition in the capability catalogue.
What this does not do
This is not an audit and this site says so on every contract page. It ends in a transaction hash on a sibling testnet, not in a signed opinion, and it carries no insurance.
Everything this product does not do →