ZH

ZH

MCP-RoCQ (Coq Reasoning Server)

共 1 个能力: mcp-rocq

研究与数据办公效率 MCP 集成调研 coq Claude

用Coq做形式化验证，定理证明和类型检查全搞定，搞科研写代码都放心。

关于README常见问题

MCP-RoCQ (Coq Reasoning Server) 是基于 Coq 证明助手的自动化推理服务。

核心能力

形式化定理证明与数学推理
类型检查与程序正确性验证
适合科研、编程语言研究、形式化验证等场景

使用说明

开箱即用，通过 MCP 协议直接调用 Coq 引擎。科研项目或高可信度代码开发场景下尤为实用。

暂无 README

工具、提示词、Skill、MCP 和工作流分别干什么？

工具是可打开的产品；提示词是一次性指令；Skill 给 Agent 固定做法；MCP 接外部数据；工作流把多步串起来。

Skills 和 MCP 有什么区别？

Skill 教 Agent 一套做法；MCP 把外部数据和工具接进 Agent。很多工作流两样都要。