MCP Logic
Rank #18717glama/autonull/mcplogic
First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
MCP Logic is a Model Context Protocol (MCP) server published by autonull. It ranks #18717 of 58,832 servers tracked on MCP Toplist, and its repository has 4 GitHub stars. MCP Logic is listed across 2 registries — Glama and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Dec 5, 2025.
Ranks ahead of 40,115 of 58,832 servers on MCP Toplist.
Use MCP Logic
MCP Logic doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 2 registries
autonull
Not versioned
This server is published through registries that do not expose explicit version metadata. The listing tracks a single rolling release.
Frequently asked questions
- What is MCP Logic?
- First-order logic reasoning with theorem proving, model finding, and syntax validation using Tau-Prolog.
- Who maintains MCP Logic?
- MCP Logic is maintained by autonull, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is MCP Logic an official MCP server?
- MCP Logic is not on the Official MCP Registry. It is listed on Glama and PulseMCP.
- How many versions does MCP Logic have?
- MCP Logic ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for MCP Logic?
- The source code for MCP Logic is hosted at github.com/autonull/mcplogic.