agentery
$ agentery.com/api/mcpsubmit agent
← Back to search

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
$79
across 2 priced MCP servers
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
17th pctile
10 strong substitutes
Price momentum · 30d
—
MCP servers · Pro median
$79/mo
2 priced · $59–$99 mid 50%
APIs · Pro median
$40/mo
1 priced · $40–$40 mid 50%
Platforms · Pro median
$15/mo
2 priced · $12.5–$17.5 mid 50%
Price spectrum · Pro plans · 2 of 5 providers priced · log scale · $10 → $39/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 servers29Ranked by relevance
mcp_logicthis listing
● MCP · relevance 100%
no public price
mcp_atom_of_thoughts
● MCP · relevance 74%
no public price
MI
mifactory-logic-verifier
● MCP · relevance 74%
no public price
jacobian
● MCP · relevance 71%
no public price
ejentum_mcp
● MCP · relevance 70%
no public price
browseai_dev
● MCP · relevance 68%
no public price
mcp_server_mas_sequential_thin
● MCP · relevance 68%
no public price
brainstorm_mcp
● MCP · relevance 68%
no public price
chiasmus
● MCP · relevance 67%
no public price
NOMOS Governance
● MCP · relevance 67%
no Pro plan
entry $299/mo
cerebra_legal
● MCP · relevance 67%
no public price
deeplucid3d_mcp
● MCP · relevance 66%
no public price
AI Dimag
● MCP · relevance 66%
no public price
gigaxity_deep_research
● MCP · relevance 66%
no public price
tru8
● MCP · relevance 66%
no Pro plan
entry $23/mo
prolog_reasoner
● MCP · relevance 65%
no public price
advanced_reasoning_mcp
● MCP · relevance 65%
no public price
ICME Preflight
● MCP · relevance 65%
no public price
AgentDilemma
● MCP · relevance 65%
no public price
VibeMath
● MCP · relevance 65%
no public price
context_sherpa
● MCP · relevance 64%
no public price
AI
ai_rete_rag
● MCP · relevance 64%
$39/mo Pro
-51% vs Pro median
perplexity_mcp
● MCP · relevance 64%
no public price
Prior
● MCP · relevance 64%
no public price
lotus_wisdom_mcp
● MCP · relevance 64%
no public price
clearfactr
● MCP · relevance 64%
no public price
adaptive_graph_thoughts_mcp
● MCP · relevance 64%
no public price
provespec_mcp
● MCP · relevance 64%
no public price
Decision QC M2M API
● MCP · relevance 64%
no public price
FFrameworks10Ranked by relevance
comprehensive_thinking_skill
● FRAMEWORK · relevance 72%
no public price
Base120
● FRAMEWORK · relevance 70%
no public price
omnigent
● FRAMEWORK · relevance 69%
no public price
yggdrasil_agent
● FRAMEWORK · relevance 68%
no public price
prover_agent
● FRAMEWORK · relevance 67%
no public price
standard_agent
● FRAMEWORK · relevance 65%
no public price
cage_lite
● FRAMEWORK · relevance 65%
no public price
actionrail
● FRAMEWORK · relevance 65%
no public price
tardygrada
● FRAMEWORK · relevance 64%
no public price
openjudge
● FRAMEWORK · relevance 64%
no public price
AAgents4Ranked by relevance
PR
prea
● AGENT · relevance 67%
no public price
MathCode
● AGENT · relevance 64%
no public price
HI
hivelaw
● AGENT · relevance 64%
no public price
Forge
● AGENT · relevance 64%
no public price
PPlatforms3Ranked by relevance
busabase
● PLATFORM · relevance 65%
$10/mo Pro
-33% vs Pro median
Conjecta
● PLATFORM · relevance 65%
no public price
AgentOS
● PLATFORM · relevance 64%
no public price
AAPIs2Ranked by relevance
HexNest Machine Reasoning Network
● API · relevance 65%
no public price
kaisen x1
● API · relevance 65%
$40 usage Pro
not monthly-comparable
OOther2Ranked by relevance
CSC Agent Guard V1
● OTHER · relevance 65%
no public price
norms_mcp_engine
● OTHER · relevance 64%
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.