Lean 4 theorem prover support for Claude Code
Lean 4 language server for theorem proving
No verified skills in this plugin.