Changelog

2026-06

• v1-20260629: Expanded and refined the paper-generation pipeline, including solution-paper templates, scaffold/review prompts, Codex runner support, and stronger algorithm-presentation guidance across prover, verifier, and paper-writing agents.
• v1-20260628: Added the check prompt and introduced the first algorithm-presentation requirements, then tightened those requirements for generated papers and prover/verifier prompts.
• v1-20260619: Added imported-lemma requirements to prover guidance.
• v1-20260618: Introduced version tracking for the baseline prover with web access and paper compile/repair support.