"author:ikenyal" matching MCP servers:

Enables turning the claims made in code comments into executable correctness properties, running them in isolated rootless Podman working copies, and comparing locked predictions against actual results to produce reports of confirmed bugs with counterexamples.