← Leaderboard

Formal Logic

Communityremote

Pure algorithmic MCP server providing deterministic formal logic operations, SAT solving, theorem proving, and model checking.

Reasoning.services · joined 2026-08-13

View in directory
Popularity rank
#1231

of 2,090

Popularity score
7,170

directory metric

Trending rank
#24

1,025,299

Tools
9

exposed by this server

Movement

Rank, 24h

—

Rank, 7d

—

Score, 24h

—

Score, 7d

—

30-day trend

—

Movement is measured against our own daily snapshots, which begin the day this site launched. Nothing to compare against yet.

Categories