Developer Tools MCP Servers
Code, Git, APIs, SDKs, CI/CD, developer workflows, and local developer tooling.
Verimand MCP Authority Server
dev.verimand
Lets an assistant query verifiable VAGP authority over MCP: resolve whether a registered agent is authorized, inspect authority state, and verify execution
MCP Checkup
com.mcpcheckupOfficial publisher
Looks up observed facts about public MCP servers: monitored status, check reports, toolset history, signed attestations, and search by tool text.
Twitter Agent by Nova (CIVAI)
co.civai.novaOfficial publisher
A remote Nova (CIVAI) agent that offers code generation, execution and debugging tools, plus a conversational clarification tool.
Terminal Command Agent by Nova (CIVAI)
co.civai.novaOfficial publisher
Lets an assistant run terminal commands through bash, sh or zsh in a remote private cloud environment.
Code Interpreter Agent by Nova (CIVAI)
co.civai.novaOfficial publisher
A remote code interpreter that lets an assistant generate, run, and debug code and execute bash, sh, or zsh terminal commands.
ExerciseBank
net.exercisebank
Local MCP server that lets an assistant search a catalogue of 1,492 filmed exercises by muscle, equipment, pattern and joints to avoid, and find substitutes.
SQL Safe MCP
Published by GitHub account proprock
Read-only MCP server that gives coding agents SQL Server, MySQL and MariaDB schema knowledge and restricted SELECT queries with PII columns masked as tokens.
AXIOM
Published by GitHub account dragoscv
AXIOM is a transactional write gate for coding agents: it plans, checks, previews and atomically applies file changes inside allowlisted repository roots…
slop-chop
Published by GitHub account dcadolph
Find and remove the writing patterns a profile lists. Deterministic rules, model rewrite opt-in.
Causari
Published by GitHub account croviatrust
Local stdio MCP server that records what an agent declared (prompt, model, files) in a gitignored ledger and lets an assistant recall and explain past events.
SPOC
Published by GitHub account SPOC-App
A local stdio bridge that connects stdio-only MCP clients such as Claude Desktop, Cursor and Zed to the remote SPOC MCP server over HTTP+SSE.
Crawl Readiness
Published by GitHub account Grubbomatic
Audits whether AI crawlers can read a site, validates robots.txt and JSON-LD, generates llms.txt, robots.txt and schema, and checks page usage permissions.
Nofax
Published by GitHub account AKzar1el
Local stdio MCP server that lets an AI coding agent notify your phone and pause for explicit human Allow/Deny, choice or free-text decisions.
Antideploy
com.antideploy
Lets a coding agent sign in, create an app, provision its database, deploy it and check it live on Antideploy, without a dashboard or Dockerfile.
Neosyn Fpga Mcp
io.neosyn
Local MCP server that gives an AI assistant the C⏚ FPGA toolchain: lint, compile, simulate, generate Verilog/VHDL and synthesis-check hardware designs.
Codex Bridge
Published by GitHub account yeyuancc0-glitch
Desktop bridge that lets MCP clients drive local Codex Bridge agents, projects, approvals and workspace tools on your own machine.
Jev Use
Published by GitHub account shitianfang
Local MCP server that sends batched yes/no, pick-one and score judgments to the Jev service, returning typed answers with confidence and escalation.
briefd
Published by GitHub account ismailperim
Self-hosted, git-backed team knowledge compiler that serves coding agents token-budgeted context bundles over MCP.
AiFinPay
Published by GitHub account daochild
Lets an assistant pay for HTTP APIs in stablecoins on Polygon, Base or Solana, buying a request batch and returning the content with a receipt.
Bouncer Gates
Published by GitHub account ajeermahmood
Runs five static checks on a repository to catch hardcoded secrets, unscoped multi-tenant queries, float money maths, unsafe migrations and broken doc links.
PG1 Sovereign Threat Intelligence
Published by GitHub account Project-Gifted1
Remote threat-intelligence MCP server that gives an assistant pre-action safety checks: wallet, domain, hostname, package, agent-message and CVE lookups, plus…
Structured Data Check
Published by GitHub account Dawaxwx
Validates structured data by extracting JSON-LD, microdata and RDFa from a URL or raw HTML in a single call.
Phone Format Check
Published by GitHub account Dawaxwx
Remote MCP server that lets an assistant validate and format phone numbers offline at the edge, returning E.164, national and international forms.
Html Vers Markdown
Published by GitHub account Dawaxwx
A remote MCP server that converts HTML into clean Markdown for LLM and RAG pipelines, with one tool that handles headings, lists, tables, links and code fences.