"证明助手"标签的搜索结果

连接LLM与Rocq/Coq证明助手的MCP服务器，提供交互式定理证明工具。