MCPs › Dev tools › Logic-Thinking MCP Server
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.
Not monetized yet
Turn Logic-Thinking MCP Server’s tool calls into revenue: one disclosed sponsored slot, 70% revenue share, fail-open by design.
Install Logic-Thinking MCP Server
For anyone using Logic-Thinking MCP Server — no Lulu account needed# stdio server — install per the repository README: https://github.com/quanticsoul4772/logic-thinking
Real-time weather for any city, built on the lulu-ads widget gallery. First-party, free forever.
View server →FAQ
Logic-Thinking MCP Server installs from source — follow the repository README.
Unrated out of 100, computed from cross-registry traction signals (installs, stars, registry presence) — never influenced by sponsorship.
Similar servers
Works well together
Your server?
This is for the person who owns Logic-Thinking MCP Server — adds Lulu Ads to your own code. Not the install steps above, those are for your users.
Copies a ready prompt: your coding agent installs the lulu-ads SDK, wires the slot, and applies the widget design guide.
or set up manually at getlulu.dev/publishers
Get verified so you can edit the page. Your badge is already live below — no claim needed for that.
Managed hosting with monetization built in — waitlist.
[](https://getlulu.dev/mcps/logic-thinking-mcp-server)