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

Market around lean4-lsp-mcp

Open-source MCP server that gives AI coding agents Lean 4 formal verification tools, including proof-state inspection, symbol navigation, module dependency analysis, code actions, and C FFI resolution.

Visit github.com ↗

Explore the market

Prices and medians update for the tier you select.

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

Products in this market

Ranked by how closely each one matches lean4-lsp-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
lean4-lsp-mcpthis listing
● OTHER
no public price
Vero
● OTHER78% similar
no public price
proofreader_skill
● OTHER71% similar
no public price
openlore
● OTHER71% similar
no public price
AAgents1Ranked by similarity
MathCode
● AGENT76% similar
no public price
MMCP servers29Ranked by similarity
cpp-analysis-mcp
● MCP76% similar
no public price
qartez
● MCP75% similar
no public price
Aubade
● MCP74% similar
no public price
LOCUS Engine
● MCP74% similar
no public price
project_mapper
● MCP73% similar
no public price
chiasmus
● MCP73% similar
no public price
tree_sitter_analyzer
● MCP73% similar
no public price
ia-qa.com/mcp llm and RAG testing - Dev/QA toolbox
● MCP72% similar
no public price
mcp_adr_analysis_server
● MCP72% similar
no public price
csharp_code_map
● MCP72% similar
no public price
omen
● MCP72% similar
no public price
ida_headless_mcp
● MCP72% similar
no public price
slnmap
● MCP72% similar
no public price
narsil_mcp
● MCP72% similar
no public price
mcp_eu_ai_act
● MCP72% similar
$29/mo Pro
-71% vs Pro median
norma
● MCP71% similar
$199/mo Pro
+101% vs Pro median
mysid
● MCP71% similar
no public price
gograph
● MCP71% similar
no public price
aptu-coder
● MCP71% similar
no public price
semantic_reader
● MCP71% similar
no Pro plan
entry $15/mo
mcp_debugger_2
● MCP71% similar
no public price
agent_lsp
● MCP71% similar
no public price
minh_gkg
● MCP71% similar
no public price
roam_code
● MCP70% similar
no Pro plan
entry $2500/mo
xcode_mcp_wrapper
● MCP70% similar
no public price
codescout
● MCP70% similar
no public price
ops_codegraph_tool
● MCP70% similar
no public price
AgentSeed
● MCP70% similar
no public price
Henka
● MCP70% similar
no public price
FFrameworks2Ranked by similarity
prover_agent
● FRAMEWORK70% similar
no public price
langwatch
● FRAMEWORK70% similar
no Pro plan
entry $33/mo

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.