5,007 servers in Developer Tools
Connect Claude, Cursor, Codex, and other AI tools to your robotics mission data.
GitHub repo analytics: stars, trending, code search, contributor maps for project research.
Validates AI infra code on real VMs. Self-corrects until it works. No containers, no sandboxes.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Sonatype component intelligence: versions, security analysis, and Trust Score recommendations
Provide your AI coding tools with token-efficient access to up-to-date technical documentation for…
Token-efficient search for coding agents over public and private documentation.
MCP server for Mermaid diagram validation and rendering
Compare dotenv files and report which keys are missing or extra, by name only.
Find Offline Protocol SDK packages, read integration guides, plan and scaffold local apps.
Kotlin/Java library sources, public API and KDoc from the real Maven sources jar, for AI agents
Read Weblate projects, strings, stats and changes; translate, suggest, comment and autotranslate.
MCP server that exposes GraphQL operations as tools for AI models.
Give your agent eyes for motion: record, slow down and test animations in mobile apps
Bridge AI coding hosts to the OpenAI Codex CLI for delegated implementation.
Push OpenAPI specs, build SDKs in ten languages, publish API docs, and triage production SDK errors.
Persistent, structured project memory for AI coding agents, stored locally in SQLite.
Free live router for paid agent APIs (x402, MPP): the best working seller for a task, plus backups.
ReSharper CLI inspection/cleanup via MCP. Unofficial: not affiliated with or endorsed by JetBrains.
Token-efficient code reading for coding agents: symbol-aware, budgeted, diff-aware reads.
Issue tracker and durable project memory for your coding agent, scoped to the folder you open.
Code generation from JSON recipes, linked type graphs, and API schemas across 11 languages.
Local read-only repository context retrieval for AI coding agents.
Isolated macOS app tests, MCP images, OCR/ASCII frames, accessibility and evidence reports.
Secure Python sandbox — MCP servers, APIs, shells and host functions as native Python objects.
Local-first repo intelligence for agents: DNA, health, blast radius, and Dispatch jobs.
Read and write checked code rationale stored outside source comments.