開發者工具 MCP 服務
程式碼、Git、API、SDK、CI/CD、開發工作流與本機開發工具。
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 代理探索程式懸賞任務、在工作區中完成並提交，提交會在隔離微虛擬機中驗證後自動釋出託管賞金。
CoreModels
由 GitHub 帳號 aramai-schematica 發布
CoreModels 是遠端 MCP 伺服器，用來編輯結構描述中的節點、mixin 與關聯，並支援 JSON Schema 匯入匯出，需要 OAuth 登入。