Market around math-rigor

A local MCP server and workflow skill for auditable mathematical proving in ZCode. It checks proof steps with formal reasoning rules, distinguishes proven, refuted, and inconclusive results, and reports unresolved gaps.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

math-rigor · Pro

No Pro plan

—

Pro-MCP server median

$30

across 3 priced MCP servers

vs Pro MCP servers

No comparison

math-rigor doesn't sell Pro

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

Market density

11th pctile

2 competing vendors

Comparable listings · 30d

Flat

limited data · 0 priced comparables

MCP servers · Pro median

$30/mo

3 priced · —–— mid 50%

Price spectrum · Pro plans · 5 of 5 providers priced · log scale · $5 → $199/mo

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

Products in this market

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

MMCP servers3Ranked by similarity

math-rigorthis listing

AAgents3Ranked by similarity

PPlatforms1Ranked by similarity

Conjecta

● PLATFORM75% 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.