15 packages found
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
754 structured cybersecurity skills for AI agents · Mapped to 5 frameworks: MITRE ATT&CK, NIST CSF 2.0, MITRE ATLAS, D3F
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
Deterministic quality scorer for AI agent instruction files — 8-dimension scoring with security, multi-format (SKILL.md,
Professional Agent Skill for building, auditing, testing, and releasing modern WordPress plugins with Codex, Cursor, and
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
Fully autonomous AI Agents system capable of performing complex penetration testing tasks
AI agent security scanner. Detect vulnerabilities in agent configurations, MCP servers, and tool permissions. Available
Open-source toolkit for the QVeris capability routing network: CLI, MCP server, Python SDK, skills, and REST API docs fo
MCP server with 53 security intelligence tools — CVE/KEV, MITRE ATLAS+D3FEND, Sigma detection rules, email security post
MCP Server for ClawGuard Shield — security scanning via Model Context Protocol.
📚 Sync skills across all AI CLI tools with one command and simplify team sharing. Supporting Codex, Claude Code, OpenCl
AI agent firewall that intercepts tool calls (file, shell, network) and enforces deterministic policies at sub-microseco