Runtime artifact existence & freshness verification for AI agent completion claims. A lightweight, zero-LLM MCP gate that source-binds 'done' claims to real files. MIT.
1 file for Codex and OpenCode: execution-proofs AGENTS.md — 2,121 tokens loaded in every session.
AGENTS.md A 2,121 tok These files are zaxardery8011-design/execution-proofs's own configuration — they tell Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.