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

Market around Conjecta

A workspace for mathematical reasoning that helps users plan proof strategies, explore lemmas, use computation and formal tools, and inspect the resulting reasoning trace.

Visit conjecta.cn ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
Conjecta · Pro
No Pro plan
—
Pro-platform median
$57.5
across 6 priced platforms
vs Pro platforms
No comparison
Conjecta doesn't sell Pro
ⓘ Comparisons are same provider type (platform) and same buyer tier (Pro). Never across tiers.
Market density
3rd pctile
1 strong substitutes
Price momentum · 30d
—
MCP servers · Pro median
$32/mo
4 priced · $21.25–$59 mid 50%
Platforms · Pro median
$57.5/mo
6 priced · $33.25–$90.75 mid 50%
Price spectrum · Pro plans · 5 of 8 providers priced · log scale · $10 → $120/mo
MCP servers Platforms◻ shaded = middle 50% · line = median (all types)Conjecta has no comparable Pro price — not plotted

Products in this market

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

PPlatforms8Ranked by relevance
Conjectathis listing
● PLATFORM · relevance 100%
no public price
AutoProver
● PLATFORM · relevance 61%
$120/mo Pro
+109% vs Pro median
dedoctive
● PLATFORM · relevance 60%
no public price
SS-Agent
● PLATFORM · relevance 58%
no public price
papersflow
● PLATFORM · relevance 58%
$20/mo Pro
-65% vs Pro median
Autonomous Trading Intelligence Platform
● PLATFORM · relevance 58%
$49/mo Pro
-15% vs Pro median
finagent
● PLATFORM · relevance 57%
no public price
openscience
● PLATFORM · relevance 57%
no public price
AAgents6Ranked by relevance
MathCode
● AGENT · relevance 70%
no public price
Math Modeling Agent Flow
● AGENT · relevance 66%
no public price
Forge
● AGENT · relevance 62%
no public price
polarity_ai
● AGENT · relevance 60%
no public price
critikalai
● AGENT · relevance 57%
no public price
causal_agent
● AGENT · relevance 56%
no public price
MMCP servers21Ranked by relevance
jacobian
● MCP · relevance 68%
no public price
Thoughtbox
● MCP · relevance 65%
no Pro plan
entry $10/mo
mcp_logic
● MCP · relevance 65%
no public price
VibeMath
● MCP · relevance 62%
no public price
mcp_atom_of_thoughts
● MCP · relevance 62%
no public price
cerebra_legal
● MCP · relevance 61%
no public price
ejentum_mcp
● MCP · relevance 61%
no public price
counsel
● MCP · relevance 60%
no public price
chiasmus
● MCP · relevance 60%
no public price
calculators
● MCP · relevance 60%
$10/mo Pro
-69% vs Pro median
AB
aboard
● MCP · relevance 59%
no public price
clearfactr
● MCP · relevance 59%
no public price
MI
mifactory-logic-verifier
● MCP · relevance 58%
no public price
Euclid
● MCP · relevance 58%
$50 one-time Pro
not monthly-comparable
advanced_reasoning_mcp
● MCP · relevance 58%
no public price
kaizen-lab
● MCP · relevance 58%
no public price
prolog_reasoner
● MCP · relevance 58%
no public price
DE
Deepseek Thinker
● MCP · relevance 57%
no Pro plan
entry $10/mo
AI
ai_rete_rag
● MCP · relevance 57%
$39/mo Pro
+22% vs Pro median
browseai_dev
● MCP · relevance 57%
no public price
CA
calculator_mcp_server
● MCP · relevance 57%
no public price
OOther8Ranked by relevance
mathmodel_pro
● OTHER · relevance 67%
no public price
mathmodeling_skills_jj
● OTHER · relevance 66%
no public price
research_evidence_agent
● OTHER · relevance 61%
no public price
muse_spark_11
● OTHER · relevance 59%
no public price
AURORA Agent
● OTHER · relevance 58%
no public price
wheat
● OTHER · relevance 57%
no public price
ScientistOS
● OTHER · relevance 57%
no public price
mu_critical_thinking
● OTHER · relevance 57%
no public price
FFrameworks6Ranked by relevance
prover_agent
● FRAMEWORK · relevance 67%
no public price
Base120
● FRAMEWORK · relevance 62%
no public price
Claude Reasoning
● FRAMEWORK · relevance 62%
no public price
yggdrasil_agent
● FRAMEWORK · relevance 61%
no public price
comprehensive_thinking_skill
● FRAMEWORK · relevance 59%
no public price
agentpatterns_ai
● FRAMEWORK · relevance 57%
no public price
AAPIs1Ranked by relevance
HexNest Machine Reasoning Network
● API · relevance 57%
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.