Skip to main content
Glama
enesjakozh

MCP-RoCQ

by angrysky56
GitHub
Python
MIT License
6
OverviewInspectNewEndpointsSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue
__init__.py•300 B
""" Handler modules for Coq integration """ from .coq_session import CoqSession from .type_checker import TypeChecker from .inductive_types import InductiveTypeHandler from .prover import ProofHandler __all__ = [ 'CoqSession', 'TypeChecker', 'InductiveTypeHandler', 'ProofHandler' ]

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/angrysky56/mcp-rocq'

If you have feedback or need assistance with the MCP directory API, please join our Discord server