"author:alphaparkinc" matching MCP servers:

Enables AI agents to construct SHA-256 Merkle trees and generate/verify inclusion proofs, validate JWT HMAC-SHA256 claims, run Schnorr zero-knowledge identification, and enforce constant-time secret comparison with nonce replay protection for tamper-evident state attestation. It runs as a zero-dependency, stdlib-only MCP stdio server for clients such as Claude Desktop, Cursor, and Windsurf.

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.

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 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.

Provides autonomous EVM smart contract auditing and DeFi vulnerability triage, with a focus on flash loan arbitrage price impact and MEV sandwich protection for Aave and Uniswap v3. Enables deterministic callgraph verification and signature phishing defense via a native Model Context Protocol server.

Enables auditing cross-chain bridge token reserve invariants and monitoring outflow spikes for LayerZero and Wormhole bridges, helping detect reserve anomalies and potential vulnerabilities.