Logic-Thinking MCP Server
Rank #84,565glama/quanticsoul4772/logic-thinking
Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.
Logic-Thinking MCP Server is a Model Context Protocol (MCP) server published by quanticsoul4772. It ranks #84,565 of 115,460 servers tracked on MCP Toplist, and its repository has 1 GitHub stars. Logic-Thinking MCP Server is listed on Glama, and ships as a single rolling release with no explicit version metadata. It was first listed on Jan 11, 2026.
Ranks ahead of 30,895 of 115,460 servers on MCP Toplist.
Use Logic-Thinking MCP Server
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%2Fquanticsoul4772%2Flogic-thinking)<a href="https://mcptoplist.com/server/glama%2Fquanticsoul4772%2Flogic-thinking"><img src="https://mcptoplist.com/badge/glama%2Fquanticsoul4772%2Flogic-thinking.svg" alt="MCP Toplist: #84,565 of 115,460" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
quanticsoul4772
Other servers by quanticsoul4772
- Analytical MCP Server#5,888 · 3 vers
- macOS Shell MCP Server#59,522
- Adaptive MCP Server#64,043
- Grafana MCP Server#74,192
- Bear MCP Server#75,309
- Langbase Reasoning#82,482
- Windows CLI MCP Server#84,566
Not versioned
This server is published through a registry that does 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 Logic-Thinking MCP Server?
- Logic-Thinking MCP Server is maintained by quanticsoul4772, which publishes 8 MCP servers (3 total versions) tracked on MCP Toplist.
- Is Logic-Thinking MCP Server listed on the Official MCP Registry?
- Logic-Thinking MCP Server is not on the Official MCP Registry. It is listed on Glama.
- How many versions does Logic-Thinking MCP Server have?
- Logic-Thinking MCP Server ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Logic-Thinking MCP Server?
- The source code for Logic-Thinking MCP Server is hosted at github.com/quanticsoul4772/logic-thinking.