Market around Mcp Logic

MCP server for automated first-order logic reasoning using Prover9 and Mace4. Enables theorem proving, model finding, counterexample detection, and abductive reasoning for AI agents.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

Mcp Logic · Pro

No Pro plan

—

Pro-MCP server median

—

insufficient comparable pricing

vs Pro MCP servers

No comparison

Mcp Logic doesn't sell Pro

ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.

Market density

25th pctile

5 competing vendors

Comparable listings · 30d

Flat

limited data · 0 priced comparables

Price spectrum · Pro plans · 2 of 4 providers priced · log scale · $10 → $49/mo

MCP servers Platforms◻ shaded = middle 50% · line = median (all types)Mcp Logic has no comparable Pro price — not plotted

Products in this market

Ranked by how closely each one matches Mcp Logic's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.

MMCP servers6Ranked by similarity

Mcp Logicthis listing

mifactory-logic-verifier

FFrameworks1Ranked by similarity

Comprehensive Thinking Skill

● FRAMEWORK72% similar

no public price

Market = the products most similar to this one by capability; prices are median / quartiles over its priced members, separated by provider type and buyer tier.