Add CI/CD: GitHub Actions workflow + ruff config

Fix LLM hallucinated imports and slow thinking mode (#2)

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