Searching protocol for "proof quality"
Enhance Lean proof quality and consistency.
Proofread lecture files and report issues.
Optimize decisions with proof-weighted scoring.
Audit lecture files for grammar and consistency.
Spot and report document quality issues fast.
Automate notebook prose quality checks and fixes.
Enhance academic writing quality.
Audit lecture slides for grammar and consistency.
Show, don’t tell: prove quality with actual outputs.
Refactor formal proofs for clarity.
Verify dev server, tests, and proof video
Validate task completion with artifacts.