sdd mcp
juanklagos
Spec-Driven Development workflow: specs, plans, gates, status and logbook tools. Bilingual EN/ES.
Servers for Git hosts and code review — repositories, issues, pull requests and CI status. 本目录在该分类下收录了 5353 个,其中 3213 个是无需本地安装的托管远程服务器。下面的排序反映维护、文档、安装体验和采用度——绝不反映付费。
juanklagos
Spec-Driven Development workflow: specs, plans, gates, status and logbook tools. Bilingual EN/ES.
gabrielmahia
MCP server for M-Pesa mobile-money integration in Kenya
ashlesh-t
FAISS, call graph, AST, BM25 — 34 MCP tools for AI agents. 50-80% token reduction. Offline.
meob
Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees
VikrantSingh01
Generate, validate, and optimize Adaptive Cards for Teams, Outlook, and Copilot.
Cifero74
Apple Music MCP server — search catalog, manage playlists, and access your library via Claude.
eclipsesource
Safety boundary for agent written GitHub PR reviews: pending and invisible, submitting is opt-in
emergent-wisdom
Content-addressed semantics: fail-closed handshakes over 457 cognitive patterns.
skill-federation
Find vetted agent skills for your task — privacy-preserving skill discovery over MCP.
Socialpranker
Local profiler: which usage window took you out, and where your agent's money goes
domdomegg
Allow AI systems to list, search, and manage contacts via Google Contacts.
GimbalGoats
Control Autodesk Maya scenes with 71 typed tools for modeling, animation, shading, and more.
NsLookup-io
DNS lookups, health reports, SSL certs, security scans, GEO scoring, uptime checks
vish288
MCP server for GitLab API — projects, MRs, pipelines, CI/CD, approvals, issues, code review.
gelse
MCP gateway for controlled SSH access with per-client auth, command policies, and audit logging.
sjh9714
Check whether a coding agent's changes stayed inside the scope it was given.
davidmosiah
Privacy-first MCP server for Strava activities, streams, routes and training.
cyanheads
Search and fetch Wikidata entities, execute SPARQL queries, and resolve external identifiers.
domdomegg
Fetch content from the web, cleaned up nicely for LLMs (using Defuddle).
vaaraio
Accountable autonomy proxy: gating, tamper-evident audit, time anchor for every action
yaminbkk
Local-first memory for AI coding agents: shell history with exit codes, git diffs, docs, MCP.
DanielTomaro13
Live sports data and cross-book betting odds — 801 tools, 63 providers, 43 needing no key.
HorizunGroup
Open-source MCP server for Power BI Desktop, DAX, PBIP, TMDL and PBIR automation.