"author:phongndo" matching MCP servers:

Enables agents to check whether LLVM IR transformations are correct, compare patched optimizers against trunk, and read or publish short links for sharing those checks. It returns per-function verdicts and counterexamples when a transformation is incorrect.