"Compiler Explorer" matching MCP servers:

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.

A Model Context Protocol server that provides tools for interacting with Docker images, containers, and registries, enabling AI assistants to search, analyze, and manage Docker resources through a standardized interface.

Enables Claude Code sessions to wait for a durable, exact-head GitHub pull-request review and continue the same review/fix/push loop without polling, using Supabase durable state and Realtime wake-ups via ordinary stdio MCP.