49 packages found
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
Agentic SWMM is an automated, auditable, and memory-informed framework for reproducible stormwater modelling, integratin
Offensive-security MCP server with 205 wrapped tools, 17 specialist agents, and 60 SPA-aware probes for OWASP Top 10. CL
Governed shared memory for AI agent fleets — multi-agent, multi-tenant, MCP-native. Trust tiers, keystone policies, audi
Local-first, auditable memory layer for AI apps and coding agents — Codex, Claude Code, MCP, HTTP, TypeScript, and Pytho
Auditable UniProt MCP server with per-response SHA-256 provenance, release pinning, verification, and offline replay.
Open-source security gateway for MCP agents and tools. Inspect tool calls before execution, enforce policy, block risky
Diagnose, secure, and benchmark your MCP servers. Zero-config CLI for Claude Code, Cursor, VS Code, and Windsurf.
Agentic AI research papers, benchmarks, frameworks, and tools curated across 24 domains.
Open-source runtime security and governance for AI agents, MCP tools, robotics, industrial automation, and physical AI.
Zaxy turns agent work into durable, auditable memory: a hash-chained Eventloom log as the source of truth, an embedded t
Cross-Code Organizer (formerly Claude Code Organizer): cross-harness config dashboard for Claude Code, Codex CLI, MCP se
LLM readiness linter for websites. Audits robots.txt, llms.txt, Schema.org, and content density on a 0-100 scale. Includ
Open source local-first PR scanner that finds dead code, security bugs, secrets, quality regressions, and AI-code mistak
MCPSecBench: A Systematic Security Benchmark and Playground for Testing Model Context Protocols
Agent control plane for governed AI coding: validate changes, enforce policy gates, track findings, proofs, and evals ba
A memory engine for conversational AI agents, inspired by neuroscience and Buddhist psychology
Open-source observability and audit trail platform for AI agents. MCP-native, tamper-evident event logging, real-time da
Security scanner for MCP (Model Context Protocol) servers — reads the real published npm/PyPI source, not just metadata,
Conversational cloud security compliance auditing. MCP server enabling natural language queries about AWS security postu
AI-first security scanner with 79 analyzers, 40,000+ detection rules, and repo poisoning detection for AI/ML, LLM agents
Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic fo
AI code review agent MCP server. Reviews code like a kernel maintainer: blunt, technical, no sugarcoating. Detects bugs
GUARDRAIL - MCP Security - Gateway for Unified Access, Resource Delegation, and Risk-Attenuating Information Limits
Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 238 commands, 224 MC
Real-time monitoring, slowlog analysis, and audit trails for Valkey and Redis
Cross-repo code knowledge graph for Java/Kotlin/JS/TS — MCP server, taint analysis, call graph, OWASP reports. 95% fewer
Skill router and context picker for Claude Code, Cursor, and Aider. Auto-picks the right skill for every prompt, with pr
Reliability & security proxy for the Model Context Protocol (MCP). Self-healing connections, runtime tool-poisoning/shad
Open-source security scanner for MCP servers and AI agents: finds prompt injection, tool poisoning, and excessive agency
104-tool DNS Security Intelligence MCP Server — DNSSEC, hijacking, tunneling, typosquatting, email security, CT monitori
16 Instagram creator tools as an MCP server — Reels/Story/carousel downloaders, engagement audit, hashtag search, Reels
Rust MCP server with 168 security tools for Claude — DNS/DNSSEC, TLS, email security, OSINT, threat intelligence, supply
High-performance SQL parser, formatter, linter & security scanner for Go - 1.5M+ ops/sec, multi-dialect, zero-copy, race
Veto MCP — gives every major AI CLI (Claude Code, Codex, Gemini, Cursor, Windsurf) a council of 49 specialist agents + 9
Eyes for AI coding agents: deterministic MCP server that tells the LLM which CSS rule wins, in which file, on which line
MCP server for offline verification of signed artifacts. Receipts, manifests, bundles. Apache-2.0.
[DEPRECATED] Moved to microsoft/agent-governance-toolkit
A testbed for auditable, agent-operated systems: a financial terminal an AI drives end-to-end over MCP, with hard paper/
Local-first Model Context Protocol (MCP) memory layer for Codex CLI/Desktop, Claude Code, Gemini CLI, Qwen/DeepSeek/Olla
Agent Hub is an AI orchestration platform that transforms how developers and DevOps engineers interact with their toolch
A comprehensive Model Context Protocol (MCP) server providing enterprise-grade Static Application Security Testing (SAST
MCP Blast-Radius Auditor — static blast radius extraction and CI divergence gate for MCP servers.
RamiBot v3.8.0 is a local-first AI security operations platform integrating multi-LLM support, a dynamic red/blue team s
AI supply-chain security scanner and self-hosted control plane for agents, MCP, SBOM/SARIF, graph findings, runtime enfo
AI Agent Security Middleware — 8-layer defense, DLP data flow, prompt injection detection, zero dependencies. SDK + MCP
MCP server for AI agent for cybersecurity: automate assessment of documents, questionnaires & reports. Multi-format pars
The trust economy for autonomous AI agents. Credit scores for machines. Agents earn Trust Capital through verified behav
Fast, opinionated AWS security scanner. Curated checks. Zero noise. Copy-paste fixes.