Automated security analysis platform for crypto tokens and smart contracts. Static analysis of verified source and on-chain checks, including a simulated buy and sell, produce the facts; a deterministic, fact-weighted function computes the risk score from them, reproducible across runs and published in a per-token breakdown. A language model writes the explanations.
