Enables autonomous auditing and sanitization of EIP-712 typed signature phishing attempts and permit/allowance risks, including Permit2 and MetaMask scenarios, through deterministic callgraph and invariant analysis with vulnerability triage.
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.
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.
Read-only crypto safety MCP server that helps AI agents and wallets verify token honeypot risks, decode EIP-712 signatures, scan approval risks, and simulate transactions before signing.
MCP server that enables AI signing agents to pre-flight transactions by checking ERC-7730 descriptor safety, explaining function semantics, and scanning contracts for danger primitives.
