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 ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

math-rigor · Pro

No Pro plan

—

Pro-MCP server median

—

insufficient comparable pricing

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

9th pctile

4 competing vendors

Comparable listings · 30d

—

Price spectrum · Pro plans · 3 of 6 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

AAgents1Ranked by similarity

MathCode

● AGENT75% similar

no public price

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.