开发者工具 MCP 服务

A

Ankra Docs

ai.ankra官方发布者

已验证

搜索 Ankra 文档：集群、堆栈、GitOps、CI/CD 和 CLI。无需账户。AI 翻译

F

FixMyPrompt

net.fixmyprompt官方发布者

已验证

FixMyPrompt 为编码助手保存按项目划分的记忆与经验，检查并修复代理指令文件，并通过远程 MCP 端点提供这些能力。

G

gitmanual

由 GitHub 账号 zainudinnoori 发布

已验证

远程 MCP 服务器，把任意 GitHub 仓库变成按操作系统区分的安装手册和可直接查看的安装脚本。

A

Agent Reliability Skills

由 GitHub 账号 trustabl 发布

已验证

为 agent 代码仓库生成针对该仓库的编码前可靠性技能（SKILL.md），通过识别仓库所用的 agent SDK 来定制内容。

F

Flint

由 GitHub 账号 synuns 发布

已验证

Flint 是一个本地 MCP 服务器，为 AI 编程代理提供可搜索、可记录、可热注入的长期记忆。

K

Keycloak Admin API

由 GitHub 账号 sferarc 发布

已验证

非官方 Keycloak Admin API MCP 服务器，按单个 realm 提供管理操作工具，默认只读，可让助手查看用户、组和角色。

R

runchr

由 GitHub 账号 rmngl 发布

已验证

一个精选 agent stack 的远程注册表，让助手搜索 stack、读取其 manifest 并获取安装方案。

P

Parano1d node

由 GitHub 账号 noidium 发布

已验证

非官方的本地 MCP 服务器，把 Parano1d 节点的 JSON-RPC 接口封装成 18 个类型化工具，默认只读，钱包与管理模式需显式开启并受额度限制。

T

toolmenu

由 GitHub 账号 niksa90 发布

已验证

检查 MCP 服务器的工具清单：发现问题、统计 token 成本、识别破坏性变更与会话中途的清单变化，供助手审计自己构建的服务器。

T

Tinkercad Circuits Mcp

由 GitHub 账号 netchuu 发布

已验证

在 Tinkercad Circuits 中搭建 Arduino 面包板电路、写入代码，并运行模拟器读回 LED、舵机与串口结果。

S

sessionwiki

由 GitHub 账号 necroz 发布

已验证

搜索并读取由 Claude Code、Codex、Cursor 等 AI 编程会话记录编译而成的本地 wiki。

A

API Anything

由 GitHub 账号 goodnight000 发布

已验证

把网站变成可调用的读取操作，让助手用普通 HTTP 请求获取站点数据，而不必驱动浏览器。

M

Mcp Github Enterprise

由 GitHub 账号 dockndevai 发布

已验证

默认只读的 MCP 服务器，让 AI 助手管理 GitHub Enterprise（Cloud 与 Server）的组织、仓库、规则集、安全告警与 Actions。

C

Claude Checkpoint Mcp

由 GitHub 账号 daniel-munoz 发布

已验证

本地 MCP 服务器，把 Claude Code 会话的工作状态保存为项目内的 JSON 文件，并能还原成简短的续接摘要。

M

Monomem

由 GitHub 账号 calasdan-sketch 发布

已验证

面向 AI 编程助手的本地共享记忆：以 SQLite 笔记存储，带写入者来源、搜索、撤销与写入检查，通过 MCP 提供。

M

Mcp Tracer

由 GitHub 账号 aldoogando03-bit 发布

已验证

让 AI 助手设计 Cisco Packet Tracer 网络拓扑，并生成由你自己在 Packet Tracer 中运行的 PTBuilder 脚本。

J

Jamf Pro MCP

由 GitHub 账号 Servosity 发布

已验证

本地 MCP 服务器与 CLI，让助手查询一个或多个 Jamf Pro 实例的设备、合规状态、补丁状态与策略卫生情况。

P

paprika3d (three.js games and 3D pages end to end, for coding agents)

由 GitHub 账号 Keeno-Corp 发布

已验证

本地运行的 three.js MCP 服务器，让编程助手端到端地制作、试玩、测量并发布 3D 游戏和网页。

L

LeanWarp

由 GitHub 账号 Isagoge-Labs 发布

已验证

LeanWarp 在托管的常驻 Lean 与 Mathlib 工作节点上检查和验证 Lean 4 证明，让助手无需本地安装 Lean 即可编译、查看和修补证明。

C

Curbi

由 GitHub 账号 Curbi-Inc 发布

已验证

Curbi 按明确的价格与禁用词规则检查 AI 代理回复，并可校验策略、导出 CI 回归测试、验证证明包。

RightSide 可把本地目录中的应用部署到可访问的 HTTPS 网址，并提供项目管理、日志、环境变量、数据库与回滚工具。

A

API Change Feed

dev.changefeed官方发布者

已验证

远程 MCP 服务器，让助手了解 60 个常用 API 与 SDK 自指定版本以来有哪些破坏性变更、弃用和安全修复。

U

UI Polish

com.uipolish官方发布者

已验证

提供 React UI 组件、设计规则与配色主题，让编码助手把状态完备、打磨过的界面装进项目。

P

PairMine

com.pairmineai官方发布者

已验证

只读的 PairMine 工具，用于查询 BSC 上 AI 代理专属矿工 NFT 的 Genesis 状态、铸造资格与阶梯价格。