"Compiler Explorer" matching MCP servers:

Plan AWS disaster recovery budgets conversationally, comparing backup/restore, pilot light, warm standby, and active/active strategies using live Cost Explorer data.

MCP server for retrieving Fict documentation, running compiler/ESLint/TypeScript diagnostics, and generating shareable Playground links.

Enables AI agents to search, deep-read, and build knowledge bases from Markdown, PDF, DOCX, and PPTX documents via MCP tools for retrieval, document navigation, and ingestion.

The optimizing compiler for agentic tools

Compiles an Obsidian knowledge graph into a queryable MCP server, allowing AI agents to search concepts, get nodes, and retrieve related information.

Exposes Lachesis's code navigation tools over MCP, letting LLM agents ask precise compiler-level questions about dataflow, taint, callers, and guards in source code.

Enables analyzing AWS cloud spending and Bedrock usage through natural language queries using Claude.

Enables auditing formal libraries (Lean 4/Mathlib and Metamath) to trace axiom dependencies, find theorems resting on sorry or compiler trust, and analyze the impact of changes.

Enables discovery, analysis, and explanation of open satellite data through MCP, with support for STAC catalogs and NASA GIBS.

MCP server that provides semantic-level analysis of Swift codebases to AI agents by integrating with Apple's SourceKit-LSP, enabling compiler-grade code understanding and cross-file navigation.