#mcp

Cisco AI Defense middleware for LangChain agents

Memoria persistente para agentes de IA. Servidor MCP en Go, local-first y model-free.

dscode is a coding agent that empowers digital and knowledge work. It uses MCP to connect creative workflows with the coding agent, and provides a web UI to support and showcase a variety of digital studio tasks.

Search and retrieve US court opinions, federal dockets, judge records, citation networks, and oral arguments from CourtListener's 9M+ opinion corpus via MCP. STDIO or Streamable HTTP.

Security scanner for AI agent skills and MCP servers. Detects secrets, CVEs, supply chain attacks, and prompt injection in SKILL.md files before they're installed. Pre-install gate for Claude Code, OpenClaw, PicoClaw, NanoBot, FamClaw, and CI/CD pipelines. Single Go binary, MIT licensed.

The finmap.org MCP server provides comprehensive historical data from the US, UK, Russian and Turkish stock exchanges. Access sectors, tickers, company profiles, market cap, volume, value, and trade counts, as well as treemap and histogram visualizations

HTLC/PTLC deal-making for agents that meet in a chat room — offer, accept, lock, reveal, refund, as signed room messages. The room coordinates; a settlement rail holds the money. Alpha: no rail holds value yet.

Token providers for MCP ABAP ADT auth-broker - XSUAA and BTP token providers

A programming language where signatures declare types, effects, and machine-checked promises — proven with Z3, compiled with LLVM. Built for trusting AI-written code.

Local-first shared memory for AI agents — zero-dependency, governed writes, citations, MCP. Source behind the ihow-memory npm package.

security

A detection engine that reports what it did not check. Eight axiom families over a domain model declared in YAML, with every declined evaluation recorded as a machine-readable reason.

Persistent cross-tool memory for AI coding agents. Single binary. Zero dependencies.

An MCP server enabling automated access to LeetCode's problems, solutions, and public data with optional authentication for user-specific features, supporting leetcode.com & leetcode.cn sites.

No repository description published.

Audit agent for Claude Code that catches missed tool calls — separates spotting from doing. Your Claude answers, Spotter watches.

Turn any MCP, OpenAPI, or GraphQL server into a CLI — at runtime, with zero codegen

Production observability for MCP servers. Traces, metrics, and logs — wired up in two lines.

A team of specialized AI agents covering the complete software development flow — from requirements discovery to deploy. One responsibility per agent, specs as source of truth, no shortcuts.

No repository description published.

Microsoft Teams MCP Server using standard user sign in flows.

Agent-native RPC for the multi-agent era — write a Java interface, get gRPC + HTTP/MCP gateway and generated TS/Dart/Python/Rust clients, no protobuf. 智能体时代的契约先行 RPC：接口即 API，天然带 MCP 网关

Czech & EU due-diligence / KYC-AML MCP servers — sanctions (EU+OFAC), insolvency (ISIR), VAT-payer reliability, phoenix/nominee detection, risk score & UBO chain. Built on ARES, ČNB, ADIS + EU business registries. MIT.

🔐 Plug-and-play auth for Node.js MCP servers.

Codex-native codebase intelligence: deterministic repo context, change-plan drift review, and verification gating for AI coding agents. Local-first, zero API keys.

Universal Code Navigator

Automatic security vulnerability remediation for your code.

Agent Tool Protocol

ACP-backed Google ADK agent adapter for Go

Soma makes AI agents trustworthy by providing observably traceable governance, evidence-based rule selection W/ JIT, AST analysis tools, TTC Verifiers, and adaptive rule lifecycle management.