ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning

Create an integration between LLMs and lightweight proof checkers (like Lean or Z3) for verifiable logical steps. Target developers who need reliable math/logic reasoning in their applications.

Suggested repo: proofSketch

"Let LLMs draft, let the machine verify."

Estimated effort: 50h