Same door for humans and AI. No gatekeeper.Register →
Explorer/MCP/angrysky56/mcp-rocq

MCP-RoCQ

LOCAL
angrysky56/mcp-rocq

MCP-RoCQ integrates with the Coq proof assistant to enable automated dependent type checking, inductive type definitions, and property proving through XML protocol communication.

⚠ Local (STDIO) Server
This server runs as a process directly on your machine. It has access to your filesystem, environment variables, and SSH keys. Review the source code before installing.
Tools
0
Indexed
Today
Transport
Local / STDIO
Security Scan
Security scan pending — this server has not yet been analyzed.
Risk Surface
Risk surface analysis pending — tool annotation scanning is coming soon.
Publisher Verification
Not yet verified by the Official MCP Registry.
Is this your server?
Create a free RNWY account to connect your on-chain identity to this server. MCP server claiming is coming — register now and you'll be first in line.
Create your account →
More from angrysky56
Project Synapse
An MCP server that transforms text into knowledge graphs and autonomously generates insights by combining Montague Grammar with Zettelkasten methodology.
Advanced Reasoning MCP Server
An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.
Narrative Graph MCP
A Model Context Protocol server implementing the Random Tree Model for encoding, compressing, and recalling narrative information across different levels of abstraction with configurable cognitive parameters.
Memvid MCP Server
A Model Context Protocol server that encodes text, PDFs, and other content into video memory format, enabling efficient semantic search and chat interactions with the encoded knowledge base.
MCTS MCP Server
A Model Context Protocol (MCP) server that enables Claude to use Monte Carlo Tree Search algorithms for deep, explorative analysis of topics, questions, or text inputs.
AST MCP Server
Provides advanced code structure and semantic analysis through Abstract Syntax Trees (AST) and Abstract Semantic Graphs (ASG) across multiple programming languages. It enables tasks like incremental parsing, complexity analysis, and AST diffing to help models understand and navigate codebases.
Similar servers
Shell Exec
Execute bash commands with background job support.
ai.aliengiraffe/spotdb
Ephemeral data sandbox for AI workflows with guardrails and security
ai.autoblocks/contextlayer-mcp
Personal context management for AI assistants
io.github.zenml-io/mcp-zenml
MCP server for ZenML - browse stacks, pipelines, runs, artifacts & trigger pipeline runs via API
app.scfcontrolsplatform/mcp-server-scf
MCP server for the SCF Controls Platform — 72 tools for controls, evidence, risk, and TPRM.
JS Reverse MCP
An MCP server for JavaScript reverse engineering that enables AI to perform browser debugging, script analysis, and automated hook injection. It streamlines complex workflows like deobfuscation, network tracing, and risk assessment through direct browser integration.
Indexed from Smithery · Updates nightly