21 tagged compiler, measured the same way as everything else here.
Browse within: algebraic-effects 6formal-verification 6egraph 5non-associative-algebra 5octonions 5
compiler-explorer/compiler-explorer
MCP server Claude CodeCodexCursor +2
Compile code with thousands of compilers, inspect the assembly, and share godbolt.org links. Remote server at godbolt.org.
MCP server Claude CodeCodexCursor +2
Lets the agent inspect and automate a live Chrome instance through the DevTools protocol: performance traces, network, console. Runs locally from the chrome-devtools-mcp npm package.
MCP server Claude CodeCodexCursor +2
Research-driven development framework — structured claims, compiled evidence, deterministic output. Runs locally from the @grainulation/wheat npm package.
MCP server Claude CodeCodexCursor +2
Turn wheat sprint artifacts into shareable formats. Runs locally from the @grainulation/mill npm package.
MCP server Claude CodeCodexCursor +2
Reusable knowledge for research sprints -- shared claim libraries, templates, and knowledge packs. Runs locally from the @grainulation/silo npm package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server "symphony" as configured in loopdive/js2. Runs scripts/claude-symphony-channel.mjs with node.
MCP server Claude CodeCodexCursor +2
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, repair failures, and generate inspectable Apple-native capabilities. Runs locally from the @axint/compiler npm package.
MCP server Claude CodeCodexCursor +2
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures. Runs locally from the @axint/compiler npm package.
MCP server Claude CodeCodexCursor +2
AI-agent programming language. JSON AST in, WASM out. Typed, effect-tracked, Z3-verified. Runs locally from the edict-lang npm package.
MCP server Claude CodeCodexCursor +2
Compile, describe, lint, validate, score and repair multi-storey and curved ArchLang floor plans. Runs locally from the @chanmeng666/archlang-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "deed" as configured in deed-lang/deed. Launched with deed-lang.
MCP server Claude CodeCodexCursor +2
MCP server "sounio" as configured in Sounio-lang/sounio. Runs sounio_mcp.server with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
MCP server "sounio-coord" as configured in Sounio-lang/sounio. Runs /workspace/sounio/scripts/mcp/sounio_coord_mcp.py with /workspace/sounio/.venv/bin/python3. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor +2
Gives the agent up-to-date documentation and code examples for libraries and frameworks, fetched on demand so answers are not stuck at the model's training cutoff. Runs locally from the @upstash/context7-mcp npm package. Needs 1 environment variable to run.
MCP server Claude CodeCodexCursor
MCP server "ikmcp" as configured in isakruas/ikmcp. Runs locally from the ikmcp Python package.
MCP server Claude CodeCodexCursor
MCP server exposing SLAC (Simple Logic & Arithmetic Compiler) as tools for LLM agents. Runs locally from the slac-mcp npm package.
MCP server Claude CodeCodexCursor +2
Model Context Protocol server for editing Scratch .sb3 projects via scratch4js. Runs locally from the scratch-mcp npm package.
MCP server Claude CodeCodexCursor +2
MCP server "hird" as configured in no-materials/hird. Launched with nix run .#hird-mcp.