"author:danielsimonjr" matching MCP servers:

Enables AI coding agents to run the veriharness verification CLI as MCP tools, covering model probing, benchmark drivers and runners, scoring, grading, materialization, environment derivation, and reading run artifacts. It spawns the CLI and forwards optional flags, streaming progress and enforcing per-tool timeouts.