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
>
MCP Solver
MCP Solver
STDIO
MCP server exposing constraint solving, SAT, SMT, and ASP capabilities to Large Language Models
Install
Introduction
Schema
no data
Be the First to Experience Cortex App
Download Now
