You'll need an access code to use Cortex App. Hop into our Discord to grab yours!
Request Code
Home
Product Manuals
Server Discovery
Blog
Download Now
Product Manuals
Blog
Download Now
MCP Servers
>
Coq Reasoning
Coq Reasoning
STDIO
MCP server integrating Coq proof assistant for automated logical reasoning and verification
Install
Introduction
Schema
no data
Be the First to Experience Cortex App
Download Now
