Developer Tools MCP Servers

A Model Context Protocol (MCP) server for intelligent Kubernetes natural language interaction.

MCP Server for JDB (Java Debugger)

MCP Server bridging to LSP servers for structured code introspection

MCP Server for rr Reverse Debugging

Sandboxed AI agent workspace with MCP bridge

Stratified memory for synthetic intelligences

An MCP server for controlling Apple Keynote presentations via AppleScript

CLI tool for parsing .kgn/.kge files, ingesting them into a PostgreSQL knowledge graph DB, and generating AI agent context packages via subgraph queries

MCP Server for orchestrating Kiro CLI from Kiro IDE

Cloaked headless browser for AI agents — stealth TLS, smart extraction, SPA fallback

OS-level macOS app testing via MCP — native apps, Electron apps, browsers, web pages, system dialogs

Content-addressed knowledge graph for software systems

Filesystem/git-native FastMCP knowledge gateway: serve an Obsidian vault over MCP, plus optional code-graph and doc-to-markdown tools

Local RAG System for Claude Code — Hybrid search + Cross-encoder Reranking + 13 MCP Tools + 20 Format Parsers. Zero external servers.

Claude Code MCP tool that auto-generates help documentation for web applications

Autonomous AI coding agent — provider-agnostic, MCP-native, plan-first

MCP server for Kubernetes, Helm, ArgoCD, and FluxCD validation

Kubernetes MCP Server (Model Context Protocol) with special support for OpenShift

A Model Context Protocol (MCP) server for LakeXpress, enabling database to Parquet export with sync management and data lake publishing.

MCP server for building and modifying Langflow flows via LLM agents

MCP server for creating, editing, and compiling LaTeX resumes

Squawk for backtests — static leakage/lookahead-bias detector for trading/ML strategy code, exposed over MCP.

Lean Theorem Prover MCP

Fast Lean 4 proof feedback for agents, powered by LeanInteract.