"Conda-Forge" matching MCP servers:

Enables agents and security automation to adjudicate proposed defense mutations against a sealed, canonicalized attack scenario, enforcing reproduction, impact-screening, regression, and proven-improvement gates before promoting at most one candidate. Every verdict, rejected candidate, and rejection reason is sealed into a recomputable SHA-256 Merkle evidence root and hash-linked lineage that can be independently verified without trusting the server.

AI-powered smart contract forge with an 8-agent adversarial security audit system. Generate, audit, fix, and compile Solidity and Anchor/Rust contracts across 8 chains.

Enables safe, read-only SQL exploration and debugging on Supabase Edge Functions, respecting user JWTs. It inspects schemas, explains query plans, proposes RLS policies, and runs guarded queries without destructive operations.

A read-only MCP telemetry server that lets an agent investigate Windows hosts by pulling process lineage, network connections, behavior-specific detections, and local threat-intelligence matches from exported Sysmon snapshots. Queries are bounded and evidence-referenced, enabling a prioritized case report along with the exact tool-call trace.

A fully compliant MCP gateway and registry that federates any MCP, A2A, or REST/gRPC API behind one unified endpoint, adding centralized discovery, auth, rate limiting, retries, and OpenTelemetry observability. It virtualizes legacy services and agents into MCP-compliant tools, prompts, and resources, with 40+ plugins extending transports and protocols.

Enables agents to scan incoming emails, web pages and messages for instructions aimed at the AI, wrap that untrusted content in a nonce-bounded fence the content cannot forge, and expose a check_action tool so the model's tool calls can be blocked or confirmed after it reads something from outside. It runs locally over stdio with zero dependencies and no network access.

Enables AI agents to execute prediction-market trades through a risk-control gateway that enforces signed mandates and generates proof trails for accountability.

Third-party certifying proxy — sign any HTTP call (AI agents, webhooks, microservices) with an independent Ed25519 signature, RFC 3161 timestamp, and Sigstore Rekor anchor.

Machine-readable detection lookups for SIEM enrichment and AI agents. Query 800+ LOLBAS and GTFOBins binaries plus process parent-child baselines — get risk levels, abuse categories, and MITRE ATT\&CK mappings without embedding data in prompts.

DORA compliance scanner MCP server that scans projects for regulatory gaps, classifies entities, generates reports, and optionally produces ICT registers and incident templates with cryptographic certification.