RAFT-style prompting: distractor-aware framing + usage citations

Add CI/CD: GitHub Actions workflow + ruff config

Add Claude CLI provider for Pro-token billing

Speed up proof generation: cache components, smaller max_tokens, two-stage retry

Add Claude API support (users supply their own key)

Add Hugging Face Spaces deployment with Groq API

Add MiniF2F benchmark harness and improve proof agent robustness

Fix LLM hallucinated imports and slow thinking mode

Add LangChain/LangGraph RAG pipeline for retrieval-augmented proof generation