Search

Encrypted agent credential and memory vault with MCP server. Implements the AVP (Agent Vault Protocol) open standard.

MCP Gateway — identity propagation, server card validation, policy enforcement, AEP evidence emission for MCP tool invocations

Runtime fuzzing and invariant-testing harness for MCP servers.

MCP server for Polaris Audit — run website audits from any AI assistant

Governance proxy for MCP servers — policy evaluation, human approval, audit trails.

[](https://glama.ai/mcp/servers/rafapra3008/cervellaswarm) 🐍 🏠 🍎 🪟 🐧 - Verify AI agent communication protocols using session types. Formal specification with Lean 4 proofs, linter, formatter, and LSP. Catches deadlocks and role violations before deployment.

See what your AI agents can actually do. Discover trustworthy MCP servers and agent-client surfaces, surface risky ones, and get publisher-grounded remediation.

v0.1 policy-synthesis (descriptor-only) for MCP-server RCE defense: landlock/sandbox-exec/cgroups-v2 profile builder + CVE-replay predicates + canary tracker + append-only NDJSON audit log. v0.2 adds native enforcement + verified Acra-pattern audit-log si

Email-auth posture audit (SPF/DKIM/DMARC) via live DNS: is the domain spoofable? PROTECTED/PARTIAL/SPOOFABLE. MCP + x402.

A FastMCP server that lets an AI host monitor certificate expiry across a set of domains

npx wrapper for the official UnoLock Agent MCP release binaries

Zero-dependency guardrail library for LLM applications with built-in Anti-Scam detection

📇 🏠 - An MCP Server to help LLMs suggest the latest stable package versions when writing code.

Steampipe MCP server to query cloud infrastructure, SaaS, code and more with SQL using AI.

Policy-as-code engine for MCP trust — YAML and OPA/Rego policy definitions for agent-tool permissions

[](https://glama.ai/mcp/servers/urldna/mcp) 🐍 ☁️ 🍎 🪟 🐧 - MCP server for automated URL scanning and forensic phishing triage. Captures full DOM snapshots, network requests, and visual screenshots to identify malicious redirects and infrastructure. Supports historical threat hunting using Custom Query Language (CQL) to map actor patterns across millions of recorded scans.

MCP server for dossier automation standard - enables LLMs to discover, verify, and execute dossiers

MCP server for DefectDojo vulnerability management — 24 tools with RBAC, HMAC audit chain, and SIEM forwarding

Real-time threat intelligence lookups and IOC parsing from your self-hosted Polarity instance.

CVE/vulnerability intelligence MCP server — 41 tools, 11 sources: NVD, EPSS, KEV, GHSA, OSV, Shodan, VulnCheck, Vulners, Nuclei, Metasploit, CIRCL, ATT&CK