Add repair_lean_proofs tool for instant sorry-filling f3ef14f Vilin97 Claude Opus 4.6 (1M context) commited on about 11 hours ago
Add extract_sorry_lemmas tool for automated decomposition 7879db5 Vilin97 Claude Opus 4.6 (1M context) commited on about 20 hours ago
Remove blocking wait_for_aristotle — 9x proof throughput improvement 2a8c189 Vilin97 Claude Opus 4.6 (1M context) commited on 2 days ago
Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 5c59a5f Vilin97 Claude Opus 4.6 (1M context) commited on 2 days ago
Remove Qwen 3.5, fix sorry/theorem validation, markdown emails c262c9c Vilin97 Claude Opus 4.6 (1M context) commited on 4 days ago
Add Loogle search and Qwen 3.5 Lean prover d6a0482 Vilin97 Claude Opus 4.6 (1M context) commited on 6 days ago
Add VeriDeepResearch: verified math research chatbot 925bbe2 Vilin97 Claude Opus 4.6 (1M context) commited on 6 days ago
Vilin97 Claude Opus 4.6 (1M context) commited on 