Formal Logic
Claude connectorCommunityPure algorithmic MCP server providing deterministic formal logic operations, SAT solving, theorem proving, and model checking.
Formal Logic MCP is a Model Context Protocol server that provides deterministic reasoning capabilities without any LLM dependencies. It offers:
- Propositional Logic: SAT solving, CNF conversion, consistency checking, and entailment.
- First-Order Logic: Theorem proving using the Z3 SMT solver.
- Temporal Logic: Trace-based LTL model checking.
- 100% Deterministic: Identical input always produces identical output — fully cacheable and auditable.
- High Performance: Fast execution taking under 5 seconds for typical queries.
Ideal for API contract verification, state machine validation, detecting contradictions in business rules, and system requirements analysis.
- Tools
- 9
exposed by this connector
Movement
From our daily snapshots over the last 30 days.
Rank by popularity
#2153of 7,2949places down24h106places down7d
Rank by trending score
#1439of 3,07217places down24h174places down7d
Popularity score
7,820024h+2137d
Trending score
18,236024h07d
In its categories
How this connector compares with others in the same category. Positions are counted within the category, not across the whole directory.
Developer tools361st of 1,310 by popularity · 231st of 543 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 359 | 7,845 | — | 1,931places up | |
| 360 |  Wisdom Recall | 7,827 | 5,144 #499 | 193places down |
| 361 | 7,820 | 18,236 #231 | 106places down | |
| 362 |  Eventtia MCP | 7,814 | 11,590 #370 | 339places up |
| 363 | 7,807 | 8,236 #428 | 184places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 229 | 18,293 | 8,858 #262 | 213places down | |
| 230 | 18,278 | 7,531 #397 | 41places down | |
| 231 | 18,236 | 7,820 #361 | 174places down | |
| 232 | 18,176 | 10,269 #164 | 177places down | |
| 233 | 17,938 | 6,209 #562 | 714places down |
Data analytics779th of 2,740 by popularity · 517th of 1,228 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 777 |  Preuve AI - Startup Validation | 7,833 | 9,343 #997 | 108places down |
| 778 | 7,827 | 483,162 #5 | 1,153places up | |
| 779 | 7,820 | 18,236 #517 | 106places down | |
| 780 | 7,820 | 7,814 #1072 | 110places down | |
| 781 | 7,814 | 33,304 #187 | 59places up |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 515 |  Detrics | 18,264 | 9,236 #499 | 254places down |
| 516 | 18,264 | 9,267 #492 | 356places down | |
| 517 | 18,236 | 7,820 #779 | 174places down | |
| 518 | 18,232 | 6,570 #1082 | 858places down | |
| 519 | 18,214 | 12,217 #165 | 147places down |
Productivity1,127th of 4,005 by popularity · 762nd of 1,642 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 1125 | Wisdom Recall | 7,827 | 5,144 #1538 | 193places down |
| 1126 | 7,820 | 13,558 #1051 | — | |
| 1127 | 7,820 | 18,236 #762 | 106places down | |
| 1128 | 7,820 | 7,814 #1419 | 110places down | |
| 1129 | 7,820 | 6,407 #1481 | 36places down |
Other132nd of 582 by popularity · 87th of 208 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 130 | 7,858 | 16,350 #102 | 169places down | |
| 131 | 7,845 | 7,071 #178 | 78places down | |
| 132 | 7,820 | 18,236 #87 | 106places down | |
| 133 | 7,814 | 33,304 #39 | 59places up | |
| 134 | 7,801 | 16,858 #97 | 22places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 85 |  Vacation Tracker: PTO & Leave | 18,434 | 10,259 #61 | 73places down |
| 86 |  Vibe Prospecting | 18,277 | 17,441 #4 | 192places down |
| 87 | 18,236 | 7,820 #132 | 174places down | |
| 88 | 18,149 | 10,505 #55 | 177places down | |
| 89 | 17,988 | 8,071 #127 | 223places down |
More from Reasoning.services
All listings by Reasoning.servicesTools
- check_consistency
- entails
- fol_prove
- is_satisfiable
- ltl_check
- simplify
- smt_prove
- to_cnf
- to_dnf
- Made by
- Reasoning.services · Website
- Sign-in
- Required
- Connector URL
- https://reasoning.services/tools/formal-logic/mcp
- Transport
- Streamable HTTP
- Works with
- Claude, Claude API, Claude Code, Claude Desktop
- Department
- Engineering
- Added
- August 13, 2026
- More info
- Sponsorship
- Promote this connector