You'll need an access code to use Cortex App. Hop into our Discord to grab yours!

Product Manuals

Server Discovery Blog

Product Manuals

MCP Servers>Logic

icon for mcp server

Logic

STDIO

Automated reasoning server for logical theorem proving and model verification

34Stars

0Views

0Adds

Author

angrysky56

Tag

Developer Tools

+2

AI Chatbots & Language ToolsResearch & Data

Version

Last Updated

View Source Code

no data

Be the First to Experience Cortex App

A desktop app that makes MCP easy

Products

Discover
Manage
Share

Resources

Product Manuals
Blog
Downloads

About Us

Discover all servers

© 2025 Cortex App. All rights reserved.