Tool	Purpose	When to use
lean-check	Compile a Lean file and report errors (local, no API key)	First step to validate any proof attempt
axle verify-proof	Validate a proof matches a formal statement	When you need to confirm a proof proves exactly the right theorem
axle disprove	Attempt to disprove theorems by proving negation	Before investing effort in a proof, check if the conjecture is false

Tool	Purpose	When to use
lean-check	Compile a Lean file and report errors (local, no API key)	First step to validate any proof attempt
axle verify-proof	Validate a proof matches a formal statement	When you need to confirm a proof proves exactly the right theorem
axle disprove	Attempt to disprove theorems by proving negation	Before investing effort in a proof, check if the conjecture is false

verification

安装方式

name	verification
description	Verification tools for compiling, validating, and disproving Lean theorems