Dev tools MCP servers.

7,097 dev tools MCP servers, including mcp-server, labelhead-artist-momentum and front-end-checklist, are listed on Ahel today. Each one has a page of its own that says what it does and whether Ahel can serve it in Claude, Claude Code, ChatGPT, Codex and Cursor.

Category: Dev tools

7,097 results · page 66 of 237

  • sidereonMCP serverDev tools

    Lets your agent calculate satellite orbits, predict satellite passes, and solve GNSS positions.

    github.com/neilberkman/sidereon

    View details
  • uk-legal-mcpMCP serverDev tools

    Lets your agent search UK legal research sources such as case law, legislation, Hansard, bills, and HMRC guidance.

    Ready to connect

    github.com/paulieb89/uk-legal-mcp

    View details
  • agentic-hilMCP serverDev tools

    Lets your agent flash, reset, and debug firmware on a real hardware board over UART or CAN.

    github.com/agentic-hil/agentic-hil

    View details
  • cruxible-coreMCP serverDev tools

    Lets your agent make decisions from rules you define in YAML and show proof for each answer.

    github.com/cruxible-ai/cruxible-core

    View details
  • easyeda-pro-mcpMCP serverDev tools

    MCP server and EasyEDA Pro extension bridge for live project assistance.

    github.com/vlab-software/easyeda_mcp

    View details
  • mcp-ip2location-ioMCP serverDev tools

    Lets your agent look up the country, city, and other location details behind an IP address.

    github.com/ip2location/mcp-ip2location-io

    View details
  • mcp-nfse-nacionalMCP serverDev tools

    Lets your agent look up electronic service invoices (NFS-e) on Brazil's national portal nfse.gov.br.

    github.com/samuelmoraesf/mcp-nfse-nacional

    View details
  • mcp-pinotMCP serverDev tools

    Lets your agent query and manage Apache Pinot databases.

    github.com/startreedata/mcp-pinot

    View details
  • mpm-vibe-codingMCP serverDev tools

    Lets your agent run long AI coding sessions reliably on your own machine.

    github.com/halflifezyf2680/mpm-coding

    View details
  • oss-autopilotMCP serverDev tools

    Lets your agent track pull requests, find open-source issues to work on, and diagnose failing CI runs.

    github.com/costajohnt/oss-autopilot

    View details
  • pbx-mcpMCP serverDev tools

    Lets your agent inspect and control Asterisk and FreeSWITCH phone systems.

    github.com/ictinnovations/pbx-mcp

    View details
  • remindersmcpMCP serverDev tools

    Lets your agent create and manage reminders in the Mac Reminders app.

    github.com/aernouddekker/macos-mcp17 weekly_downloads

    View details
  • sdd-mcpMCP serverDev tools

    Lets your agent manage spec-driven development workflows with specs, plans, gates, and status tracking.

    github.com/juanklagos/spec-driven-development-template

    View details
  • stats-compassMCP serverDev tools

    Lets your agent load, clean, visualize, and analyze datasets using over 50 pandas-based analysis commands.

    Ready to connect

    github.com/oogunbiyi21/stats-compass-mcp

    View details
  • catalog-cli-proMCP serverDev tools

    Amazon catalog auditing tool. 13 quality checks for your listings.

    github.com/bwb03/amazon-catalog-cli

    View details
  • dense-evolutionMCP serverDev tools

    Real quantum circuit simulator, VQE, molecular Hamiltonians, QM/MM forces, and MD via 21 tools.

    github.com/tatopenn-cell/dense-evolution

    View details
  • hangarMCP serverDev tools

    Lets your agent check every tool call against your own rules and block any that break them.

    github.com/mcp-hangar/mcp-hangar

    View details
  • ictexam-mcpMCP serverDev tools

    Lets your agent read exam records, gradebooks and item analyses, and help prepare and publish exams.

    github.com/ictinnovations/ictexam-mcp

    View details
  • ictpbx-mcpMCP serverDev tools

    Lets your agent view phone system details like extensions, DID numbers, SIP trunks, tenants and live call statistics.

    github.com/ictinnovations/ictpbx-mcp

    View details
  • korean-secondary-learning-map-mcpMCP serverDev tools

    Lets your agent look up Korea's revised middle and high school curriculum standards across subjects.

    github.com/raphysicst-create/korean-secondary-learning-map-mcp

    View details
  • mcp-proxmoxMCP serverDev tools

    Lets your agent manage Proxmox virtual machines and containers on your server cluster.

    github.com/antonio-mello-ai/mcp-proxmox

    View details
  • naviscoord-mcpMCP serverDev tools

    Lets your agent triage clashes in Autodesk Navisworks models and draft work plans and reports.

    github.com/horizungroup/naviscoord-mcp

    View details
  • property-sharedMCP serverDev tools

    Lets your agent look up UK property data such as sold prices, energy ratings, rental yields and company records.

    Ready to connect

    github.com/paulieb89/property-shared

    View details
  • sagemath-mcpMCP serverDev tools

    Lets your agent run math calculations in SageMath sessions.

    github.com/xbp-europe/sagemath-mcp

    View details
  • ziplarkMCP serverDev tools

    Archive server: extract & create ZIP, 7z, tar, gz/xz/zst; read RAR/RAR5 & ISO. AES-256, safe.

    github.com/zhitongblog/ziplark

    View details
  • contrackoMCP serverDev tools

    Lets your agent import, review and track renewal dates for your business contracts.

    Ready to connect

    github.com/contracko/contracko-skills15 weekly_downloads

    View details
  • crabeye-mcp-bridgeMCP serverDev tools

    One MCP connection for all your tools — with discovery, namespacing, and execution policies.

    github.com/crabeye-ai/crabeye-mcp-bridge

    View details
  • ftx-mcpMCP serverDev tools

    Lets your agent author, preview, and verify FactoryTalk Optix Studio changes using an emulator.

    github.com/asqi-carter/ftx-mcp

    View details
  • gmc-mcpMCP serverDev tools

    MIT-licensed pip-installable MCP for Google Merchant Center on Merchant API v1 (126 tools).

    github.com/kiwoongeom/gmc-mcp

    View details
  • infranodeMCP serverDev tools

    Lets your agent look up open city data across 84 German cities, such as transport, demographics and infrastructure facts.

    Ready to connect

    github.com/street1983nk/infranode

    View details

Looking for something else?

Dev tools is one category of MCP servers on Ahel. Browse all MCP servers, or open another category above.

See how to connect your AI