A cross-chain bridge security auditing toolkit that exposes tools for analyzing, fuzzing, and simulating bridge contracts via natural language, enabling users to detect vulnerabilities like centralization risks and replay attacks.
Enables simulation and analysis of DeFi mechanisms, auctions, incentive compatibility, and governance attacks through a model context protocol interface.