"author:Alpha-Park" matching MCP servers:

Enables real-time injection fuzzing, exfiltration canary detection, least-privilege tool sandboxing, and cryptographic audit proofs for untrusted prompts, RAG context, and agent actions over MCP.

Enables real-time indirect prompt injection fuzzing, exfiltration canary detection, least-privilege tool sandboxing, and cryptographic audit proofs over MCP.

This MCP server enables real-time injection fuzzing, exfiltration canary detection, least-privilege tool sandboxing, and cryptographic Merkle audit proofs for agent prompts, RAG context, and actions. It provides tamper-evident SHA-256 tree generation, logarithmic inclusion proofs, and verifiable integrity checks through MCP.

Enables real-time injection fuzzing, exfiltration canary detection, least-privilege tool sandboxing, and cryptographic audit proofs through the Model Context Protocol.

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 static auditing of EVM Solidity smart contracts to detect critical vulnerabilities such as reentrancy state changes, unhandled external calls, unchecked delegatecall, and tx.origin authentication flaws, producing risk audit reports.

Enables automated EVM flash loan arbitrage risk assessment and MEV sandwich attack protection for Aave and Uniswap v3, offering deterministic slippage and vulnerability analysis through the Model Context Protocol.

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 static AST-based taint flow tracing from untrusted sources to sensitive sinks, supporting AI code review and security analysis via MCP.