MCP Logic
Rank #46,433glama/autonull/mcplogic
Enables first-order logic reasoning including theorem proving, model finding, counterexample detection, and category theory diagram verification using pure TypeScript with no external dependencies.
MCP Logic is a Model Context Protocol (MCP) server published by autonull. It ranks #46,433 of 137,138 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 90,705 of 137,138 servers on MCP Toplist.
Use MCP Logic
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fautonull%2Fmcplogic)<a href="https://mcptoplist.com/server/glama%2Fautonull%2Fmcplogic"><img src="https://mcptoplist.com/badge/glama%2Fautonull%2Fmcplogic.svg" alt="MCP Toplist: Top 50% of 137,138" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 2 registries
autonull
Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- 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 listed on the Official MCP Registry?
- 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.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.