Add math_formal_lean resource server for Lean4 proof verification#563

Merged

bxyu-nvidia merged 14 commits intomainfrom

stepheng/lean-environment

Jan 16, 2026

Commits on Jan 16, 2026

Add math_formal_lean resource server for Lean4 proof verification
stephencge
committed
Update resources_servers/math_formal_lean/README.md

stephencge
and
Kipok
committed
Address PR review feedback

stephencge
and
claude
committed
Add NuminaMath-LEAN dataset preparation script

stephencge
and
claude
committed
Fix unused variable in prepare_numina.py

stephencge
and
claude
committed
Use NEMO_SKILLS_SANDBOX_* env vars for consistency

stephencge
and
claude
committed
Remove NuminaMath-LEAN dataset preparation script

stephencge
and
claude
committed
Add Nemotron-Math-Proofs-v1 dataset preparation script

stephencge
and
claude
committed
Update prompt to match formal-proof-deepseek-prover-v2-nemotron

stephencge
and
claude
committed
Add dataset filtering options and new config files

stephencge
and
claude
committed
Add multi-turn self-correction for Lean proof verification

stephencge
and
claude
committed
Add config file for proof_refinement_agent

stephencge
and
claude
committed
Fix CI: add proof_refinement_agent tests and formatting fixes

stephencge
and
claude
committed
Fix ruff-format: quote style and line length in prepare_nemotron_math_proofs.py

stephencge
and
claude
committed