# 工具集

> 全部已收录的资源，编辑推荐的排在前面。下面几种条件可以同时用。

- 可以搜索：在地址后加 `?q=<关键词>`，多个关键词用空格分隔，要同时命中。搜的是名称、仓库、标签、职业、简介与 README。
- 可以按类型过滤：在地址后加 `?type=<cli|skill|plugin|mcp>`。
- 可以按职业过滤：在地址后加 `?profession=<职业编号>`，多个用逗号分隔，资源适合其中任意一个即可。编号见 https://hebbmind.com/api/v1/professions
- 可以按标签过滤：在地址后加 `?tag=<标签>`，多个用逗号分隔，资源要同时带有这些标签。标签见 https://hebbmind.com/api/v1/tags

适合全栈 / 独立开发或运维 / SRE或算法 / AI的资源，带标签 `lean`，共 2 项。

> - 全栈 / 独立开发：跨前后端的通用研发：编码 Agent 工作流、代码评审、调试与 Git 协作。
> - 运维 / SRE：部署、监控、云资源与系统稳定性。
> - 算法 / AI：模型训练、评测与大模型应用开发。

- [lean-lsp-mcp](https://hebbmind.com/zh-TW/mcp/lean-lsp-mcp.md): [MCP] Lean 4 定理证明器的 MCP 服务器：让 agent 读取证明目标、报错诊断和定义说明，并调用 LeanSearch、Loogle 等检索定理，帮数学研究者和学生做形式化证明。需要安装 uv 与 Lean 工具链，并在 Lean 项目根目录下运行。
- [QuantConnect Lean CLI](https://hebbmind.com/zh-TW/cli/lean-cli.md): [CLI] QuantConnect 官方命令行，驱动开源 LEAN 引擎在本地或云端下载行情、回测优化量化策略并部署实盘，适合投研人员让 agent 验证策略。须是 QuantConnect 付费档组织成员，策略用 Python 或 C# 编写，本地运行需 Docker；结果需专业人员复核。