MCP-RoCQ (Coq Reasoning Server) 是基于 Coq 证明助手的自动化推理服务。
核心能力
- 形式化定理证明与数学推理
- 类型检查与程序正确性验证
- 适合科研、编程语言研究、形式化验证等场景
使用说明
开箱即用，通过 MCP 协议直接调用 Coq 引擎。科研项目或高可信度代码开发场景下尤为实用。
相关资源
按类型、任务、场景与标签加权推荐
first-reader
编程协作 · 代码阅读 · 仓库概览 · 文档摘要 · agent技能 · 首读
Beta readers for any draft, run by simulating how a real reader experiences it,
13万+
agentmail
编程协作 · agent · email · mcp · smtp · imap · 通讯
使用你被分配的 AgentMail 收件箱来阅读邮件任务、明确发送或回复邮件，以及检查投递状态。由你的收件箱分配自动提供。
8.1万+
doc-coauthoring
编程协作 · 文档协作 · co-authoring · 写作提示词 · 结构化写作 · Claude · Skill
通过结构化工作流引导用户协同撰写文档。适用于用户希望撰写文档、提案、技术规范、决策文档或类似结构化内容的场景。该工作流帮助用户高效地传递上下文、通过迭代打磨内容…
17万+
esign-field-placement
流程自动化 · 电子签名 · 字段排版 · 文档自动化 · PDF处理 · Agent技能
通过浏览器自动化会话，在网页电子签名编辑器中放置签名、日期和文本字段的确定性方法，使用固定的签名页面、用 Location 面板的数值坐标代替拖拽，并以“另存为…
25万+
brand-guidelines
编程协作 · 品牌指南 · 视觉规范 · 排版 · 配色 · 设计系统 · brand
将 Anthropic 官方品牌色彩与排版规范应用于任何可能受益于 Anthropic 视觉风格的产物。当涉及品牌色彩、风格规范、视觉格式或公司设计标准时使用此…
7.5万+
taste-application
编程协作 · Dify · 应用审稿 · 质量评估 · 发布检查 · 品味打分
Generate new video against a distilled style pack and cut it into a finished pie
25万+