mcp-rocq

mcp-rocq

3.4
developer_tools

If you are the rightful owner of mcp-rocq and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.

MCP-RoCQ is a Model Context Protocol server that integrates with the Coq proof assistant to provide advanced logical reasoning capabilities.

MCP-RoCQ is a sophisticated Model Context Protocol server designed to enhance logical reasoning through its integration with the Coq proof assistant. It offers automated dependent type checking, inductive type definitions, and property proving using both custom tactics and automation. The server facilitates reliable communication with Coq via XML protocol integration and provides rich error handling for detailed feedback on type errors and failed proofs. MCP-RoCQ is particularly useful for users who require rigorous verification of mathematical definitions and theorems, leveraging Coq's formal language and environment for machine-checked proofs.

Features

  • Automated Dependent Type Checking: Verify terms against complex dependent types.
  • Inductive Type Definition: Define and automatically verify custom inductive data types.
  • Property Proving: Prove logical properties using custom tactics and automation.
  • XML Protocol Integration: Reliable structured communication with Coq.
  • Rich Error Handling: Detailed feedback for type errors and failed proofs.

Tools

  1. type_check

    Tool for checking terms against expected types.

  2. define_inductive

    Tool for defining and verifying inductive types.

  3. prove_property

    Tool for proving logical properties with tactics and automation.

Related MCP Servers

View all developer_tools servers →
deepwiki-mcp

deepwiki-mcp

4.6

by regenrek

This is an unofficial Deepwiki MCP Server that processes Deepwiki URLs, crawls pages, converts them to Markdown, and returns documents or lists by page.

browser_automation
mcp-server-chart

mcp-server-chart

4.5

by antvis

A Model Context Protocol server for generating charts using AntV.

research_and_data
code2prompt

code2prompt

4.5

by mufeedvh

Code2Prompt is a tool that converts your codebase into a single LLM prompt, facilitating code analysis and generation.

developer_tools
terraform-mcp-server

terraform-mcp-server

4.5

by hashicorp

The Terraform MCP Server is a Model Context Protocol server that integrates with Terraform Registry APIs for advanced automation in Infrastructure as Code development.

cloud_platforms
mindsdb

mindsdb

4.5

by mindsdb

MindsDB is an open-source server that enables seamless interaction with large-scale federated data using the Model Context Protocol (MCP).

databases
DesktopCommanderMCP

DesktopCommanderMCP

4.4

by wonderwhy-er

Desktop Commander MCP is a tool that allows users to search, update, manage files, and run terminal commands using AI, without incurring API token costs.

file_systems
mcp-svelte-docs

mcp-svelte-docs

4.4

by spences10

A Model Context Protocol (MCP) server that provides a comprehensive reference guide for Svelte 5, helping LLMs provide accurate guidance when users are working with Svelte.

developer_tools
paelladoc

paelladoc

4.3

by jlcases

PAELLADOC is an AI-First Development framework implementing the Model Context Protocol (MCP) to enhance LLM interactions with external tools and context.

ai_chatbot
Office-PowerPoint-MCP-Server

Office-PowerPoint-MCP-Server

4.3

by GongRzhe

A MCP server for PowerPoint manipulation using python-pptx, providing tools for creating, editing, and manipulating PowerPoint presentations.

file_systems
Software-planning-mcp

Software-planning-mcp

4.2

by NightTrek

A Model Context Protocol (MCP) server designed to facilitate software development planning through an interactive, structured approach.

developer_tools
evm-mcp-server

evm-mcp-server

4.2

by mcpdotdirect

A comprehensive Model Context Protocol (MCP) server that provides blockchain services across multiple EVM-compatible networks.

finance
n8n-workflow-builder

n8n-workflow-builder

4.2

by makafeli

The n8n Workflow Builder MCP Server is designed to manage n8n workflows, providing tools for workflow management and execution management.

developer_tools
mcp-n8n-workflow-builder

mcp-n8n-workflow-builder

4.1

by salacoste

The n8n Workflow Builder MCP Server is designed to manage n8n workflows using the Model Context Protocol, allowing seamless integration with Claude AI and Cursor IDE.

cloud_platforms
prisma

prisma

4.1

by prisma

Prisma is a next-generation ORM for Node.js and TypeScript, providing tools for data modeling, migrations, and querying databases.

databases
gateway

gateway

4.0

by centralmind

CentralMind Gateway is a tool designed to expose databases to AI agents via MCP or OpenAPI protocols, providing secure, LLM-optimized APIs.

databases
Diff

Diff

4.0

by benjamine

diff-mcp is an MCP Server designed to compare text or data and provide a diff.

developer_tools
exa-mcp-server

exa-mcp-server

3.8

by exa-labs

A Model Context Protocol (MCP) server allows AI assistants to use the Exa AI Search API for real-time web searches in a secure manner.

research_and_data
code-assistant

code-assistant

3.8

by stippi

Code Assistant is a CLI tool built in Rust for assisting with code-related tasks, including running as a Model Context Protocol server.

developer_tools
unity-mcp

unity-mcp

3.8

by justinpbarnett

Unity MCP connects your Unity Editor to LLMs using the Model Context Protocol, enabling AI assistants to interact with Unity for asset management, scene control, script editing, and task automation.

ai_chatbot
mcp-atlassian

mcp-atlassian

3.8

by sooperset

Model Context Protocol (MCP) server for Atlassian products (Confluence and Jira). This integration supports both Confluence & Jira Cloud and Server/Data Center deployments.

cloud_platforms
Sequential Thinking MCP Server

Sequential Thinking MCP Server

3.8

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data
mcp-server-git: A git MCP server

mcp-server-git: A git MCP server

3.8

by modelcontextprotocol

A Model Context Protocol server for Git repository interaction and automation.

developer_tools
mcp-grafana

mcp-grafana

3.8

by grafana

A Model Context Protocol (MCP) server for Grafana providing access to your Grafana instance and its ecosystem.

monitoring
cursor-talk-to-figma-mcp

cursor-talk-to-figma-mcp

3.8

by sonnylazuardi

This project implements a Model Context Protocol (MCP) integration between Cursor AI and Figma, allowing Cursor to communicate with Figma for reading designs and modifying them programmatically.

browser_automation
azure-mcp

azure-mcp

3.8

by Azure

The Azure MCP Server implements the MCP specification to create a seamless connection between AI agents and Azure services.

cloud_platforms
mcp-server-whisper

mcp-server-whisper

3.8

by arcaputo3

MCP Server Whisper is a Model Context Protocol server designed for advanced audio transcription and processing using OpenAI's Whisper and GPT-4o models.

ai_chatbot
mcp-jenkins

mcp-jenkins

3.8

by lanbaoshen

The Model Context Protocol (MCP) Jenkins is an open-source implementation that integrates Jenkins with AI language models, ensuring secure and contextual AI interactions.

developer_tools