全部 Skill、MCP、CLI 与 Plugin。可以按类型、职业、标签筛选，也可以直接搜索。
可以选多个：适合其中任意一个职业的资源都会列出。
可以选多个：只列出同时带有这些标签的资源。
共 1 项
Lean 4 定理证明插件：提供起草、形式化、证明、反证、审查和精简证明等工作流，附带 mathlib 检索、公理检查与安全护栏，帮数学研究者和教师把证明写成可机器验证的形式。需本地安装 Lean 4 与 mathlib，推荐搭配 lean-lsp-mcp。
