RigorRun Checks Whether Agents Actually Did the Job

Field notes

RigorRun records a human-performed workflow, compiles it into an executable contract, generates additional cases, and checks the resulting system state rather than trusting an agent transcript. The homepage’s example reports 7 sanitised steps, 22 cases across 9 categories, and 173 checks. Its separate evidence record covers four MCP servers and 37 tools, with 19 exercised and 18 listed as unreachable; the site explicitly identifies the sample as synthetic.