#model-context-protocol

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

Evidence-first audits for AI-generated code: prove tests can fail, catch security and release gaps, and ship reviewable receipts across VS Code, JetBrains, CI, MCP, and App Store workflows.

MCP server for Producer/Riffusion AI music generation via AceDataCloud API

orchestrateur universel agents ia multi modeles ultra rapide et modulaire via protocole mcp pour piloter claude-code gemini-cli qwen-cli Kilo/Cline et openclaw sans limite, GLM Minimax Kimi Ollam etc Ready

SSH Model Context Protocol Server - 为AI模型提供SSH功能

The only postgress MCP server I have been able to connect to my docker postgres

Let AI agents query and update Postgres/MySQL without raw SQL, unrestricted schema access, or database credentials in the model; writes stay reviewed.

Local-first MCP server to query and maintain a Markdown vault from Claude, Cursor, Gemini, Codex & other AI clients - no cloud, no context dump. Guided setup + standalone binaries.

MCP server for persistent AI memory — give any AI assistant long-term recall. Works with Claude, Kiro, Cursor, Windsurf.

MCP proxy aggregating child servers behind one connection, with result caching, progressive disclosure, composable result URIs, a declarative micro-MCP framework, and per-tool permission policy — read-only mirror of code.linenisgreat.com/moxy

💼 One MCP server to search job boards and company career sites

MCP server for DWLF market analysis platform — AI-accessible tools for market data, indicators, signals, strategies and more

Agent control plane for governed AI coding: validate changes, enforce policy gates, track findings, proofs, and evals based on your habits.

CI for ink stories — compile checks, exhaustive branch playtesting, dead-content detection. MCP server + CLI.

Stops Claude, Codex, and friends from stealing each other's Chrome tabs. Per-agent port + profile lanes. CLI + MCP server + live dashboard. Windows-first.

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.

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.

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.

No repository description published.

No repository description published.

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.

A local Figma MCP server. Skill install: npx figma-agent

MCP server for N1MM Logger+ — live contest state, contacts, bandmap, multipliers, rates

WeChat/微信 local chat history MCP server for macOS agents. Read messages, contacts, media, favorites, transfers, red packets, Moments and full-text search from local WeChat 4.x data.

Dynamic CLI + TUI for managing Claude Code MCP servers, plugins, and per-project overrides across all scopes

Long-horizon AI harness you actually own: one static Go binary, one persona, any OpenAI-compat LLM (Ollama, Gemini, Claude, ChatGPT), MCP tools, chat via Telegram/Discord/Slack. Outbound-only — no dashboard, no config UI, no open ports, ever. Hardened so small local models finish tool calls.

No repository description published.

Static analysis scanner for multi-tenant SaaS and MCP server code. 57 deterministic rules for cross-tenant data leakage, IDOR, RLS, and MCP-specific risks. Includes MCP server, SARIF output, and GitHub Action.

Vectorless code retrieval for AI coding agents — search code by business intent (@intent, @domainRule) over a Tree-sitter graph. Built for MSA via MCP.

Production ready MCP server with real-time search, extract, map & crawl.