"author:hesselb20-ctrl" matching MCP servers:

Gives coding agents a compiler engineer's toolbox over MCP: compiling with exact flags, inspecting IR and pass timelines, running sanitizers and differential runs, reducing test cases, checking rewrites with Alive2, fuzzing for divergences, and benchmarking throughput. Every result is stored as a citable Evidence record, so conclusions about compiler bugs, correctness, or speed are backed by IDs that separate what was observed, inferred, and still unknown.