ツール
掲載中のすべての Skill、MCP サーバー、CLI、プラグインです。種類・職業・タグで絞り込むか、キーワードで検索できます。
職業：ML / AI +2
複数選択できます。いずれかの職業に合うリソースが表示されます。
タグ：lean
複数選択できます。選んだタグをすべて持つリソースだけが表示されます。
2 件
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-mcp536
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-cli329