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

Market around ProofRun

An offline CLI that runs declared checks and cryptographically binds their results to the exact Git code state, reporting PASS, FAIL, STALE, or NOT RUN for AI coding agent verification.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
ProofRun · Pro
No Pro plan
—
Pro-provider median
—
insufficient comparable pricing
vs Pro providers
No comparison
ProofRun doesn't sell Pro
ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.
Market density
26th pctile
24 competing vendors
Comparable listings · 30d
—
Price spectrum · Pro plans · 2 of 3 providers priced · log scale · $30 → $199/mo
MCP servers◻ shaded = middle 50% · line = median (all types)ProofRun has no comparable Pro price — not plotted

Products in this market

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

OOther8Ranked by similarity
ProofRunthis listing
● OTHER
no public price
fakegreen
● OTHER78% similar
no public price
Hermes Guard
● OTHER76% similar
no public price
Agent-Session-Relay
● OTHER73% similar
no public price
Snapshot Runner
● OTHER72% similar
no public price
LI
linejudge
● OTHER72% similar
no public price
BuildAnchor
● OTHER71% similar
no public price
SAKO
● OTHER70% similar
no public price
MMCP servers5Ranked by similarity
did-it
● MCP76% similar
no public price
Sentinel
● MCP72% similar
no public price
Fnug
● MCP71% similar
no public price
Surgical
● MCP71% similar
no public price
Norma
● MCP71% similar
$199/mo Pro
AAgents3Ranked by similarity
WTF
● AGENT76% similar
no public price
Bearing
● AGENT72% similar
no public price
pheobe
● AGENT70% 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.