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
15th pctile
8 strong substitutes
Price momentum · 30d
-47.1%
Agents · Pro median
$22/mo
2 priced · $18.5–$25.5 mid 50%
MCP servers · Pro median
$32.5/mo
4 priced · $28.75–$76 mid 50%
APIs · Pro median
$47/mo
2 priced · $33–$61 mid 50%
Platforms · Pro median
$50/mo
1 priced · $50–$50 mid 50%

Agents cost 0.7× MCP servers at the Pro tier.

Price spectrum · Pro plans · 6 of 8 providers priced · log scale · $15 → $199/mo
Agents MCP servers APIs Platforms◻ 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.

OOther15Ranked by relevance
ProofRunthis listing
● OTHER · relevance 100%
no public price
hermes_guard
● OTHER · relevance 76%
no public price
linejudge
● OTHER · relevance 72%
no public price
prodlint
● OTHER · relevance 69%
no public price
destructive_command_guard
● OTHER · relevance 67%
no public price
ctrlz
● OTHER · relevance 66%
no public price
sensors-cli
● OTHER · relevance 66%
no public price
GitX
● OTHER · relevance 65%
no public price
update_helper_skills
● OTHER · relevance 65%
no public price
GitOps Safe MCP
● OTHER · relevance 65%
no public price
safeai
● OTHER · relevance 64%
no public price
signum
● OTHER · relevance 64%
no public price
skillgrade
● OTHER · relevance 64%
no public price
hunk
● OTHER · relevance 64%
no public price
agentcov
● OTHER · relevance 63%
no public price
MMCP servers17Ranked by relevance
sentinel
● MCP · relevance 72%
no public price
norma
● MCP · relevance 71%
$199/mo Pro
+512% vs Pro median
verificate_mcp
● MCP · relevance 70%
no public price
git_courer
● MCP · relevance 70%
no public price
Euthynos
● MCP · relevance 68%
no public price
agents_remember
● MCP · relevance 67%
no public price
jkanselaar_python_code_validat
● MCP · relevance 67%
no public price
whats_inherited_mcp
● MCP · relevance 67%
no public price
gitmoru
● MCP · relevance 66%
no public price
heeler
● MCP · relevance 66%
$25/mo Pro
-23% vs Pro median
kernora_agent_security
● MCP · relevance 66%
no public price
gograph
● MCP · relevance 65%
no public price
fossil_mcp
● MCP · relevance 65%
no public price
Norma MCP Server
● MCP · relevance 64%
no public price
speclaw
● MCP · relevance 64%
no public price
skrills
● MCP · relevance 64%
no public price
github_security_mcp
● MCP · relevance 63%
no public price
AAgents6Ranked by relevance
rosentic
● AGENT · relevance 69%
no Pro plan
entry $9/mo
sigil_2
● AGENT · relevance 67%
no public price
Offset
● AGENT · relevance 65%
$15/mo Pro
-32% vs Pro median
operative
● AGENT · relevance 64%
$29/mo Pro
+32% vs Pro median
CodeWorker
● AGENT · relevance 64%
no public price
entheai
● AGENT · relevance 64%
no public price
FFrameworks6Ranked by relevance
h5i
● FRAMEWORK · relevance 67%
no public price
actionrail
● FRAMEWORK · relevance 66%
no public price
gnt
● FRAMEWORK · relevance 64%
no public price
regent
● FRAMEWORK · relevance 64%
no public price
gitagent_protocol
● FRAMEWORK · relevance 64%
no public price
evalmonkey
● FRAMEWORK · relevance 63%
no public price
PPlatforms5Ranked by relevance
Bernstein
● PLATFORM · relevance 66%
$25 one-time Pro
not monthly-comparable
swe_agent_arena
● PLATFORM · relevance 66%
$50/mo Pro
CrewCode
● PLATFORM · relevance 65%
no public price
agentavow
● PLATFORM · relevance 65%
no public price
entire
● PLATFORM · relevance 64%
no public price
AAPIs1Ranked by relevance
open_code_review
● API · relevance 64%
$19/mo Pro
-60% vs Pro median

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.