开发者工具 MCP 服务

J

JevSim

由 GitHub 账号 huaaudio 发布

已验证

让助手在一次工具调用中执行经过验证的 iOS 和 Android 界面操作序列，而不必每次点击都往返一次。

S

Sabline

由 GitHub 账号 gowrishankar-infra 发布

已验证

Sabline 是一个本地语言运行时，在明确的效应预算下运行 AI 编写的 Sabline 程序，拒绝预算之外的文件、网络或工具访问。

M

MeshMarket

由 GitHub 账号 RightOnPar-LLC 发布

已验证

MeshMarket 是一个托管的智能体间能力交易市场，助手可浏览、租用并按次以 MESH 积分结算付费工具，也能发布自己的工具。

V

Verimand MCP Authority Server

dev.verimand

已验证

让助手通过 MCP 查询可验证的 VAGP 授权：解析注册代理是否被授权、查看授权状态并验证执行许可。

M

MCP Checkup

com.mcpcheckup官方发布者

已验证

查询公开 MCP 服务器的观测事实：监控状态、检查报告、工具集历史、签名证明，以及按工具文本搜索。

T

Twitter Agent by Nova (CIVAI)

co.civai.nova官方发布者

已验证

Nova（CIVAI）的远程代理，提供代码生成、执行与调试工具，以及用于澄清需求的对话工具。

T

Terminal Command Agent by Nova (CIVAI)

co.civai.nova官方发布者

已验证

让助手在远程私有云环境中通过 bash、sh 或 zsh 执行终端命令。

C

Code Interpreter Agent by Nova (CIVAI)

co.civai.nova官方发布者

已验证

一个远程代码解释器，让助手生成、运行和调试代码，并执行 bash、sh 或 zsh 终端命令。

E

ExerciseBank

net.exercisebank

已验证

本地 MCP 服务器，让助手按肌群、器械、动作模式和需避开的关节检索 1,492 个实拍动作，并查找替代动作。

S

SQL Safe MCP

由 GitHub 账号 proprock 发布

已验证

只读的 MCP 服务器，让编码助手了解 SQL Server、MySQL 和 MariaDB 的表结构，并执行受限 SELECT 查询，其中 PII 列以令牌形式返回。

A

AXIOM

由 GitHub 账号 dragoscv 发布

已验证

AXIOM 是面向编码代理的事务性写入闸门：在允许的仓库根目录内规划、检查、预览并原子应用文件改动，并保留可回滚日志。

S

slop-chop

由 GitHub 账号 dcadolph 发布

已验证

查找并移除配置文件列出的写作模式。确定性规则，可选择启用模型改写。AI 翻译

C

Causari

由 GitHub 账号 croviatrust 发布

已验证

本地 stdio MCP 服务器，把智能体声明的提示词、模型和文件记入本地账本，并让助手回溯与解释历史事件。

S

SPOC

由 GitHub 账号 SPOC-App 发布

已验证

本地 stdio 桥接器，让仅支持 stdio 的 MCP 客户端（如 Claude Desktop、Cursor、Zed）通过 HTTP+SSE 连接远程 SPOC MCP 服务器。

C

Crawl Readiness

由 GitHub 账号 Grubbomatic 发布

已验证

审计网站对 AI 爬虫的可读性，校验 robots.txt 与 JSON-LD，生成 llms.txt、robots.txt 和结构化数据，并查询页面使用许可。

N

Nofax

由 GitHub 账号 AKzar1el 发布

已验证

本地 stdio MCP 服务器，让 AI 编码代理向手机发送通知，并暂停等待人工明确的允许/拒绝、选项或文字修改决定。

A

Antideploy

com.antideploy

已验证

让编码助手在 Antideploy 上登录、创建应用、配置数据库、部署并查看上线状态，无需控制台或 Dockerfile。

N

Neosyn Fpga Mcp

io.neosyn

已验证

本地 MCP 服务器，为 AI 助手提供 C⏚ FPGA 工具链：对硬件设计做静态检查、编译、仿真、生成 Verilog/VHDL 并做综合校验。

C

Codex Bridge

由 GitHub 账号 yeyuancc0-glitch 发布

已验证

桌面桥接服务，让 MCP 客户端在本机调用 Codex Bridge 的智能体、项目、审批与工作区工具。

J

Jev Use

由 GitHub 账号 shitianfang 发布

已验证

本地 MCP 服务器，把批量的是/否、单选和评分判断交给 Jev，返回带置信度和升级标记的结构化答案。

B

briefd

由 GitHub 账号 ismailperim 发布

已验证

自托管的、以 Git 为后端的团队知识编译器，通过 MCP 向编码代理提供受 token 预算限制的上下文包。

A

AiFinPay

由 GitHub 账号 daochild 发布

已验证

让助手用稳定币在 Polygon、Base 或 Solana 上为 HTTP API 付费，购买请求批次并返回内容与收据。

B

Bouncer Gates

由 GitHub 账号 ajeermahmood 发布

已验证

对代码仓库运行五项静态检查，发现硬编码密钥、未限定租户的查询、浮点金额计算、不安全迁移和失效文档链接。

P

PG1 Sovereign Threat Intelligence

由 GitHub 账号 Project-Gifted1 发布

已验证

远程威胁情报 MCP 服务器，为助手提供行动前安全检查：钱包、域名、主机名、软件包、代理消息与 CVE 查询，以及一次调用得出的预检结论。