8 packages found
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
High-performance SQL parser, formatter, linter & security scanner for Go - 1.5M+ ops/sec, multi-dialect, zero-copy, race
MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic fo
LLM guardrails & prompt injection detection for Python. Auto-instruments LangChain, CrewAI, OpenAI, LiteLLM + 8 more fra
Open-source toolkit for the QVeris capability routing network: CLI, MCP server, Python SDK, skills, and REST API docs fo
MCP Server for ClawGuard Shield — security scanning via Model Context Protocol.
MCP server with 53 security intelligence tools — CVE/KEV, MITRE ATLAS+D3FEND, Sigma detection rules, email security post