Repo cleanup: dead code out, test isolation fix, real README 16fb4fc
p4r5kpftnp-cmd commited on
Spaces:
Running
Running
Commit History
Swap MiniLM retriever for LeanDojo's ByT5 premise encoder d05440d
p4r5kpftnp-cmd commited on
Pin ruff to 0.15.14 and re-sort imports 01cdf65
p4r5kpftnp-cmd commited on
Add CI/CD: GitHub Actions workflow + ruff config 6cf7e7c
p4r5kpftnp-cmd commited on
Speed up proof generation: cache components, smaller max_tokens, two-stage retry df04431
p4r5kpftnp-cmd commited on
Add Claude API support (users supply their own key) 1145e92
p4r5kpftnp-cmd commited on
Merge pull request #8 from ray5th/worktree-agent-a0c1e62025fb04462 2e7766e unverified
Merge pull request #7 from ray5th/worktree-agent-a5d6c683e40e73f66 c84133e unverified
Merge pull request #12 from ray5th/claude/test-scripts-clis 7e0b731 unverified
Merge pull request #11 from ray5th/worktree-agent-ab4d84b9b8326f21b e0dc104 unverified
Merge pull request #6 from ray5th/worktree-agent-a4b681bccbbb9eb5f 1a7c709 unverified
Fix 4 bugs found in manual code review 1808386
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Fix 4 bugs found by stress-test agents + add fuzz/concurrent test suites b42c3ef
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on
Add unit tests for run_agent and build_index CLIs 1828bcf
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Add unit tests for ProofAgent wrapper 28805b8
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Fix stdout race in solve_proof under concurrent requests ecb47f3
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Fuzz retriever query handling (fix missing input guards) 1c701bb
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Fuzz state machine + fix empty-LLM-output bug ec7552d
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Add parse tests for every problems/*.lean file 39e777a
p4r5kpftnp-cmd Claude Opus 4.7 commited on
Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation 3ac681e
p4r5kpftnp-cmd Claude Sonnet 4.6 commited on