mostlyharmfuleconometrics/lean-hansen-econometrics
Skill Claude CodeCodex
Run the repo's portable adversarial Lean review harness from Codex or another non-Workflow agent. Trigger when asked to use the review harness, review Lean files across redundancy/hygiene/faithfulness/proof-quality dimensions, follow review/README.md section (b), validate findings with review/worklist.py, or write…
not rated 40 19d ago A 76 tokens