"Agentic交互"标签的搜索结果

Lean LSP MCP 是一个基于 Model Context Protocol 的服务器，旨在为 Lean 4 定理证明器提供 Agentic 交互能力。