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

Market around lean-host-mcp

An MCP server that gives AI agents direct access to Lean 4 project elaboration and kernel services for inspecting proof contexts, testing tactics, verifying declarations, searching proofs, and diagnosing projects.

Visit github.com ↗

Explore the market

Prices and medians update for the tier you select.

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

Products in this market

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

OOther4Ranked by similarity
lean-host-mcpthis listing
● OTHER
no public price
Vero
● OTHER76% similar
no public price
rocq-ltac-skills
● OTHER73% similar
no public price
DevKeel V2
● OTHER71% similar
no public price
MMCP servers27Ranked by similarity
lean4-lsp-mcp
● MCP86% similar
no public price
Lean Studio
● MCP84% similar
no public price
LeanForge MCP
● MCP80% similar
no public price
LeanWarp-SDK
● MCP78% similar
no public price
Kore
● MCP74% similar
no Pro plan
entry $149/mo
NOETRA
● MCP74% similar
no public price
Rapidly MCP
● MCP74% similar
no public price
CoreXense-N
● MCP74% similar
no public price
inquisitor
● MCP73% similar
no public price
AMR
● MCP73% similar
no public price
LSD-MCP
● MCP72% similar
no public price
ia-qa.com/mcp llm and RAG testing - Dev/QA toolbox
● MCP72% similar
no public price
Mcp Atom Of Thoughts
● MCP71% similar
no public price
Forcedreamai
● MCP71% similar
$28/mo Pro
Rea
● MCP71% similar
no public price
Mcp Logic
● MCP71% similar
no public price
Quiet Menders
● MCP71% similar
no public price
MAW-KG
● MCP71% similar
no public price
Hallucc
● MCP71% similar
$49/mo Pro
Mcp Test Tools
● MCP71% similar
no public price
Sense
● MCP71% similar
no public price
Browseai Dev
● MCP71% similar
no public price
Agent Conductor
● MCP71% similar
no public price
Evidence-MCP
● MCP70% similar
no public price
Axiomatic Prover
● MCP70% similar
no public price
Tracea
● MCP70% similar
no public price
Revula
● MCP70% similar
no public price
AAgents2Ranked by similarity
ProofForge
● AGENT77% similar
no public price
MathCode
● AGENT71% similar
no public price
PPlatforms5Ranked by similarity
ContextIQ
● PLATFORM75% similar
$5/mo Pro
Polymath Swarm
● PLATFORM72% similar
no public price
Atomadic Nexus
● PLATFORM71% similar
$33/mo Pro
Verdict Studio & Haize Sentinel
● PLATFORM71% similar
no public price
Syntropy
● PLATFORM70% similar
no public price
FFrameworks3Ranked by similarity
Langwatch
● FRAMEWORK73% similar
no Pro plan
entry $32/mo
Prover Agent
● FRAMEWORK72% similar
no public price
Tardygrada
● FRAMEWORK71% 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.