Market around RocqSolid

An MCP server for Rocq proof development. It lets AI agents check Rocq files for proof diagnostics and run commands such as Search or Check at specified file positions.

Visit github.com ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

RocqSolid · Pro

No Pro plan

—

Pro-provider median

—

insufficient comparable pricing

vs Pro providers

No comparison

RocqSolid doesn't sell Pro

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

Market density

30th pctile

47 competing vendors

Comparable listings · 30d

—

MCP servers · Pro median

$39/mo

4 priced · —–— mid 50%

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

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

Products in this market

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

OOther2Ranked by similarity