Enables autonomous Web3 security monitoring by watching honeytoken decoy private keys in the mempool to detect intrusions and trigger tripwire alerts. It also supports smart contract auditing, callgraph verification, and DeFi vulnerability triage through MCP.
Enables automated Solidity smart contract auditing by analyzing callgraphs and control flow to detect reentrancy vulnerabilities. Integrates with MCP-compatible clients to provide deterministic, zero-dependency security assessments.
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 auditing EIP-712 typed signature phishing permits and sanitizing allowances (Permit2/MetaMask) via MCP, with deterministic callgraph verification and DeFi vulnerability triage. It integrates with Claude Desktop, Cursor, and MCP clients for autonomous smart contract security analysis.
Enables Solidity callgraph and control-flow analysis to detect reentrancy vulnerabilities in smart contracts, with MCP integration for automated security auditing and DeFi vulnerability triage.
Autonomous AI agent monitoring X Layer DeFi protocols via real RPC calls, providing MCP tools for pool scanning, anomaly detection, risk scoring, alerts, position health checks, and audit trails.
