STOP. READ THIS ENTIRE SKILL.MD BEFORE CALLING ANY ENDPOINT.

lean4-prove

Retrieval-augmented Lean4 proof generation for engineering requirements. Uses 94,000+ proven theorems from DeepSeek-Prover V1+V2 to guide proof synthesis via hybrid search (BM25 + semantic + graph traversal).

Architecture (updated 2026-03-29)