ClaudeListedTier: community
Formal Logic
Pure algorithmic MCP server providing deterministic formal logic operations, SAT solving, theorem proving, and model checking.
First seen 2 Oct 2026. Evidence as of 2 Oct 2026.
-
Tools
No tool list captured yet
1
Source listings
Each with its own history
0
Recorded changes
Since first seen
Tools
No tool list captured yet.
Change history
No changes since the first observation. The first snapshot is the baseline.
| Source | Listing | First seen | Last seen | Versions |
|---|---|---|---|---|
| MCPTop directory snapshot | anthropic:ebbb4cc5-e366-4893-80b8-ca491a24960c | 2 Oct 2026 | 2 Oct 2026 | 1 |