Etiqueta: lean
Skills, servidores MCP, CLI y plugins con la etiqueta «lean». Cada uno enlaza a su repositorio de GitHub e incluye los comandos de instalación para Claude Code y Codex cuando están disponibles.
Profesión
Elige una o varias: se muestran los recursos adecuados para cualquiera de ellas.
Etiquetas: lean
Elige una o varias: solo se muestran los recursos que tienen todas.
3 elementos
lean-lsp-mcp
MCPMCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.
oOo0oOo/lean-lsp-mcp530
Lean 4 Skills
PluginLean 4 theorem-proving plugin with workflows to draft, formalize, prove, disprove, review and golf proofs, plus mathlib search, axiom checks and safety guardrails, helping mathematicians and teachers produce machine-checked proofs. Needs Lean 4 and mathlib; pairs well with lean-lsp-mcp.
cameronfreer/lean4-skills464
QuantConnect Lean CLI
CLIQuantConnect's official CLI drives the open-source LEAN engine locally or in the cloud to download data, backtest and optimize quant strategies and deploy them live. Requires a paid-tier QuantConnect organization; strategies in Python or C#; local runs need Docker. Get expert review.
QuantConnect/lean-cli327