Security

[](https://glama.ai/mcp/servers/@Erodenn/fetch-guard) 🐍 🏠 🍎 🪟 🐧 - URL fetcher and HTML-to-markdown converter with three-layer prompt injection defense: pre-extraction sanitization of hidden/off-screen elements and non-printing Unicode, 15-pattern risk scanning (HIGH/MEDIUM/OK), and per-request session-salt content boundary wrapping.

[](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.

[](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.

[](https://glama.ai/mcp/servers/jagmarques/asqav-mcp) 🐍 🏠 🍎 🪟 🐧 - AI agent governance MCP server with policy enforcement, quantum-safe audit trails (ML-DSA), multi-party authorization, and compliance reporting. Check policies, sign actions, and verify signatures through MCP tools.

[](https://glama.ai/mcp/servers/icoretech/warden-mcp) 📇 ☁️ 🏠 🍎 🪟 🐧 - MCP server for Bitwarden and Vaultwarden vault management. Search, create, edit, and organize logins, notes, cards, identities, SSH keys, folders, collections, attachments, and Sends via the official `bw` CLI.

[](https://glama.ai/mcp/servers/toan203/osv-ui) 📇 🏠 🍎 🪟 🐧 - Visual CVE audit dashboard for npm, Python, Go, and Rust. Scan from Claude/Cursor, opens a browser UI for human review (human-in-the-loop), applies fixes with explicit confirmation. Powered by OSV.dev.

https://github.com/eren-solutions/mcp-security-audit