Add self-review gate, increase iteration limit, prefer Lean-with-sorry for Aristotle 5c59a5f Vilin97 Claude Opus 4.6 (1M context) commited on 13 days ago
Refactor to FastAPI + background job architecture 1b86fa5 Vilin97 Claude Opus 4.6 (1M context) commited on 15 days ago
Add stats to email: time, cost, tokens, tool call counts 05d1842 Vilin97 Claude Opus 4.6 (1M context) commited on 16 days ago
Email now includes proof.lean and research_log.md attachments 1568228 Vilin97 Claude Opus 4.6 (1M context) commited on 16 days ago
Fix examples format, strengthen no-idle prompt, fix email deploy f14dc06 Vilin97 Claude Opus 4.6 (1M context) commited on 17 days ago
Add email notification for long-running proofs 033cbc7 Vilin97 Claude Opus 4.6 (1M context) commited on 17 days ago
Add VeriDeepResearch: verified math research chatbot 925bbe2 Vilin97 Claude Opus 4.6 (1M context) commited on 17 days ago
Vilin97 Claude Opus 4.6 (1M context) commited on 