开发者工具 MCP 服务
代码、Git、API、SDK、CI/CD、开发工作流与本地开发工具。

Deepseek
由 GitHub 账号 arikusi 发布
DeepSeek 模型的 MCP 服务器:支持带思考模式的对话、中间填充补全和多轮会话,并统计每次请求的费用。

pyslang-mcp
由 GitHub 账号 ariklapid 发布
一个本地、只读的 MCP 服务器,借助 pyslang 为助手提供基于编译器的 Verilog 与 SystemVerilog 项目分析。

Database Mcp Sqlite
由 GitHub 账号 arifulislamat 发布
本地 MCP 服务器,通过 execute_sql 和 search_objects 两个工具,让 AI 助手以受保护、结构化的方式访问 SQLite 数据库文件。

Database Mcp Postgres
由 GitHub 账号 arifulislamat 发布
面向 PostgreSQL 的 MCP 服务器,让 AI 助手以默认只读、带行数与超时限制的方式执行 SQL 并查看表结构。

Database Mcp Mysql
由 GitHub 账号 arifulislamat 发布
面向 MySQL 的本地 MCP 服务器,为 AI 助手提供两个受保护的工具来执行 SQL 和查看表结构,默认只读。

Database Mcp Mariadb
由 GitHub 账号 arifulislamat 发布
本地 MCP 服务器,通过两个工具让 AI 助手以默认只读、带防护的方式访问 MariaDB 数据库。

Database Mcp Libsql
由 GitHub 账号 arifulislamat 发布
本地 MCP 服务器,通过两个工具让 AI 助手以受保护的方式访问本地或远程 libSQL/Turso 数据库。

Arifos Mcp
由 GitHub 账号 ariffazil 发布
一个本地治理内核,在执行前依据 13 条宪法底线评判 AI 代理提出的操作,并把裁决记录为可审计回执。

Aaa Mcp
由 GitHub 账号 ariffazil 发布
arifOS 是一个治理内核,按 13 条宪法底线审查 AI 代理提出的操作,返回裁决结果并留下可审计回执。

Ateam Mcp
由 GitHub 账号 ariekogan 发布
把 AI 助手接入 ADAS 平台,使其能读取规范、构建、校验并部署多智能体解决方案与技能。

site-spec
由 GitHub 账号 ariaxhan 发布
本地 MCP 服务器,可审计网站或构建目录的 SEO、无障碍、隐私与 AI 可检索性问题,并执行确定性修复。

metabrain
由 GitHub 账号 ariaxhan 发布
一个本地 MCP 服务器,为 AI 助手提供持久化的 SQLite 记忆,把记录的教训变成待验证假设和已证实的偏好。

Trabuco
由 GitHub 账号 arianlopezc 发布
Trabuco 可生成生产级多模块 Java Maven/Spring Boot 项目及配套的 AI 上下文文件,并以 MCP 服务器形式供助手调用脚手架操作。

Argon
由 GitHub 账号 argon-lab 发布
为助手提供带版本管理的 MongoDB 沙箱:通过 MCP 分支、检出、对比、合并、撤销并固定数据库状态。

Codex Control Plane MCP
由 GitHub 账号 aresyn 发布
持久化的控制平面,让助手把 Codex Desktop 当作长时间运行的工作进程来驱动:提交任务、轮询状态、批准计划并读取报告。

Star Trajectory
由 GitHub 账号 ardev-lab 发布
本地 MCP 服务器,对 GitHub 仓库的 star 增长阶段进行分类,并预测其能否在截止时间内达到目标 star 数。

Fake Star Audit
由 GitHub 账号 ardev-lab 发布
一个本地 MCP 服务器,用透明规则审计 GitHub 仓库的星标,返回 LOW、MEDIUM 或 HIGH 的刷星风险判定,并逐条给出规则证据。

X402lint
由 GitHub 账号 arden-instance 发布
一个本地 MCP 服务器,让助手检查 HTTP 端点的 x402 支付挑战、解码支付数据块并查看 facilitator。

Deterministic
由 GitHub 账号 archradhq 发布
ArchRAD Deterministic 用确定性规则校验架构图(IR),可从代码仓库草拟 IR,并检查设计与实际代码的偏差。

Mcp Audit
由 GitHub 账号 archonics 发布
一个本地 MCP 服务器,用于审查 AI 智能体的系统提示词、工具定义和上下文载荷,每次扫描返回最重要的三个上下文工程问题。

Mcp Archimedes
由 GitHub 账号 archimedes-market 发布
让助手查询 npm 包和 GitHub 仓库的信任与安全评分,并检索 Archimedes Market 的悬赏任务和平台统计。

ARC-1
由 GitHub 账号 arc-mcp 发布
本地 MCP 服务器,通过 ADT REST API 把 AI 助手连接到 SAP ABAP 系统,默认只读,写入、SQL 与数据访问需显式开启。

gittr-mcp
由 GitHub 账号 arbadacarbaYK 发布
把 AI 助手接入基于 Nostr 的 git 托管平台 gittr,让它以你的 Nostr 身份创建仓库、推送代码、管理议题与 PR,并处理闪电网络悬赏。

ArcAgent MCP
由 GitHub 账号 araujota 发布
ArcAgent MCP 让 AI 智能体发现编程悬赏任务、在工作区中完成并提交,提交会在隔离微虚拟机中验证后自动释放托管赏金。