Formal Logic
Claude connectorCommunityPure algorithmic MCP server providing deterministic formal logic operations, SAT solving, theorem proving, and model checking.
- Tools
- 9
exposed by this connector
Movement
From our daily snapshots over the last 30 days.
Rank by popularity
#1875of 5,18313places down24h186places down7d
Rank by trending score
#2125of 2,45424places down24h426places down7d
Popularity score
7,651−1424h−77d
Trending score
19,694−9624h−1,7357d
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 tools298th of 934 by popularity · 360th of 426 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 295 |  CarsXE | 7,687 | 134places down | |
| 296 | 7,679 | 67places up | ||
| 297 | 7,658 | 140places down | ||
| 298 | 7,651 | 186places down | ||
| 299 |  LanderLab | 7,644 | 85places down | |
| 300 | 7,637 | 171places down | ||
| 301 | 7,629 | 135places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 357 | 19,755 | 411places down | ||
| 358 | 19,733 | 404places down | ||
| 359 |  Redpine | 19,710 | 182places down | |
| 360 | 19,694 | 426places down | ||
| 361 |  Blynk | 19,650 | 310places down | |
| 362 |  Inflection.io | 19,537 | 304places down | |
| 363 | 19,520 | 557places down |
Data analytics648th of 1,936 by popularity · 778th of 937 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 645 |  Finhay | 7,672 | 127places down | |
| 646 | 7,665 | 159places down | ||
| 647 | 7,658 | 140places down | ||
| 648 | 7,651 | 186places down | ||
| 649 | 7,651 | 86places down | ||
| 650 | 7,644 | 43places down | ||
| 651 | 7,637 | 171places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 775 | 19,799 | 495places down | ||
| 776 |  BidX - Scale Marketplace Ads | 19,765 | 244places down | |
| 777 | 19,755 | 411places down | ||
| 778 | 19,694 | 426places down | ||
| 779 | 19,629 | 92places down | ||
| 780 | 19,570 | — | ||
| 781 | Inflection.io | 19,537 | 304places down |
Productivity964th of 2,822 by popularity · 1,126th of 1,305 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 961 | 7,672 | — | ||
| 962 | 7,665 | 94places down | ||
| 963 | 7,651 | 1places up | ||
| 964 | 7,651 | 186places down | ||
| 965 | 7,651 | 86places down | ||
| 966 | LanderLab | 7,644 | 85places down | |
| 967 | 7,637 | 160places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 1123 |  Profit.co MCP | 19,742 | 104places down | |
| 1124 | 19,733 | 404places down | ||
| 1125 |  Wayfront | 19,717 | — | |
| 1126 | 19,694 | 426places down | ||
| 1127 | 19,668 | — | ||
| 1128 | 19,570 | — | ||
| 1129 | 19,567 | 177places down |
Other110th of 397 by popularity · 132nd of 158 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 107 | 7,721 | 133places down | ||
| 108 | 7,721 | 129places down | ||
| 109 | CarsXE | 7,687 | 134places down | |
| 110 | 7,651 | 186places down | ||
| 111 | 7,615 | — | ||
| 112 | 7,607 | 124places down | ||
| 113 |  CISO360AI | 7,592 | 116places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 129 | 20,587 | 262places down | ||
| 130 | 20,235 | 30places down | ||
| 131 | 19,799 | 495places down | ||
| 132 | 19,694 | 426places down | ||
| 133 | 19,524 | 136places down | ||
| 134 | 18,857 | — | ||
| 135 | 18,831 | 230places down |
More from Reasoning.services
All listings by Reasoning.servicesFormal 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
- 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