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
#2383of 8,95338places down24h190places down7d
Rank by trending score
#1619of 3,55125places down24h141places down7d
Popularity score
7,901024h+497d
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 tools415th of 1,608 by popularity · 253rd of 623 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 413 |  Pensieve | 7,919 | 9,176 #469 | 227places down |
| 414 | 7,919 | 9,952 #449 | 29places down | |
| 415 | 7,901 | 18,236 #253 | 190places down | |
| 416 | 7,901 | 27,957 #134 | 64places down | |
| 417 |  Creative Market | 7,895 | 15,293 #308 | 69places down |
Data analytics867th of 3,282 by popularity · 590th of 1,426 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 865 | 7,907 | 11,830 #1007 | 42places down | |
| 866 | 7,901 | 10,868 #1061 | 226places down | |
| 867 | 7,901 | 18,236 #590 | 190places down | |
| 868 | 7,901 | 27,957 #266 | 64places down | |
| 869 | 7,895 | 14,101 #836 | 157places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 588 | 18,308 | 8,980 #619 | 239places down | |
| 589 |  AI Endurance | 18,236 | 7,693 #925 | 602places up |
| 590 | 18,236 | 7,901 #867 | 141places down | |
| 591 | 18,232 | 6,768 #1173 | 1,486places down | |
| 592 | 18,232 | 4,585 #1939 | — |
Productivity1,247th of 4,952 by popularity · 872nd of 1,913 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 1245 | 7,907 | 7,887 #1655 | 198places down | |
| 1246 | 7,901 | 10,868 #1455 | 226places down | |
| 1247 | 7,901 | 18,236 #872 | 190places down | |
| 1248 | 7,901 | 27,957 #447 | 64places down | |
| 1249 | Creative Market | 7,895 | 15,293 #1088 | 69places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 870 | 18,257 | 7,435 #1405 | 61places down | |
| 871 |  Userback | 18,239 | 10,292 #683 | 229places down |
| 872 | 18,236 | 7,901 #1247 | 141places down | |
| 873 |  BridgeApp | 18,232 | 5,931 #2001 | 442places up |
| 874 | 18,232 | 6,768 #1639 | 1,486places down |
Other150th of 688 by popularity · 101st of 232 by trending score
Order by
| # | Connector | Popularity | Trending | 7d |
|---|---|---|---|---|
| 148 | 7,954 | 14,563 #134 | 181places down | |
| 149 | 7,948 | 16,901 #110 | 124places down | |
| 150 | 7,901 | 18,236 #101 | 190places down | |
| 151 |  Spectra Intelligence MCP | 7,901 | 2,972 #229 | 212places up |
| 152 | 7,877 | 9,667 #175 | 154places down |
| # | Connector | Trending | Popularity | 7d |
|---|---|---|---|---|
| 99 | 18,424 | 6,358 #228 | 378places down | |
| 100 |  Embarko | 18,308 | 10,131 #71 | 764places down |
| 101 | 18,236 | 7,901 #150 | 141places down | |
| 102 | 18,099 | 10,914 #53 | 55places down | |
| 103 |  LogMeIn Resolve | 17,988 | 9,195 #98 | 1,441places 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