Loading page

Directory Docs Sign in

Execute coq-proof-assistant-mcp | MCP Server · MCP.computer

Directory Docs Sign in

Directory/Execute coq-proof-assistant-mcp

Execute coq-proof-assistant-mcp

Premium agentic endpoint for coq-proof-assistant-mcp.

Open a workspace

Publisher and curation labels describe the evidence shown below; they do not promise a managed connection.

Connection

Add this tool to a workspace, then choose which people and agents can use it.

Type: Integration
Transport: SSE
Visibility: Public

Published metadata

Publisher: Execute coq-proof-assistant-mcp
Publisher status: Community publisher
Curation: Not curated by MCP.computer
Category: Uncategorized

The publisher did not provide a homepage or source URL.

No capability manifest has been published for this listing yet.

Give your team approved access without configuring every app separately.

Create a workspace

One governed connection for your company’s tools, models, and knowledge.

ExploreDirectory Platform Catalog updates Company brain Documentation Apps & downloads

WorkspaceOpen workspace Talk to us

CompanyPrivacy Terms Contact

© 2026 MCP.computer