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 ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at
lean4-lsp-mcp · Pro
No Pro plan
—
Pro-MCP server median
—
insufficient comparable pricing
vs Pro MCP servers
No comparison
lean4-lsp-mcp doesn't sell Pro
ⓘ Comparisons are same provider type (MCP server) and same buyer tier (Pro). Never across tiers.
Market density
25th pctile
4 competing vendors
Comparable listings · 30d
Flat
limited data · 0 priced comparables
Price spectrum · Pro plans · 3 of 4 providers priced · log scale · $5 → $199/mo
MCP servers Platforms◻ 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.

MMCP servers40Ranked by similarity
lean4-lsp-mcpthis listing
● MCP
no public price
Lean Studio
● MCP82% similar
no public price
LeanForge MCP
● MCP81% similar
no public price
SocratiCode
● MCP77% similar
no public price
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
Chiasmus
● MCP73% similar
no public price
Miter
● 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
● MCP72% similar
no public price
COBOL Bridge
● MCP72% similar
no public price
Csharp Code Map
● MCP72% similar
no public price
Omen
● MCP72% similar
no public price
Ida Headless
● MCP72% similar
no public price
Slnmap
● MCP72% similar
no public price
Narsil
● MCP72% similar
no public price
Mcp Eu Ai Act
● MCP72% similar
$29/mo Pro
Norma
● MCP71% similar
$199/mo Pro
mysid
● MCP71% similar
no public price
CodeGraph MCP
● MCP71% similar
no public price
MAW-KG
● MCP71% similar
no public price
Gograph
● MCP71% similar
no public price
Corulix
● MCP71% similar
no public price
Precision-MCP
● MCP71% similar
no public price
Reflex
● MCP71% similar
no public price
Bridger
● MCP71% similar
no public price
aptu-coder
● MCP71% similar
no public price
Semantic Reader
● MCP71% similar
no Pro plan
entry $15/mo
CO
code-kb
● MCP71% similar
no public price
Mcp Debugger 2
● MCP71% similar
no public price
Agent Lsp
● MCP71% similar
no public price
Minh Gkg
● MCP71% similar
no public price
Agent LSP Lint Toolkit
● MCP71% similar
no public price
clangd-mcp
● MCP70% similar
no public price
MCP Codebase Server
● MCP70% similar
no public price
Loctree
● MCP70% similar
no public price
SymForge
● MCP70% similar
no public price
OOther6Ranked by similarity
Vero
● OTHER78% similar
no public price
rocq-ltac-skills
● OTHER73% similar
no public price
Bathynaut
● OTHER72% similar
no public price
Proofreader Skill
● OTHER71% similar
no public price
KingmaDoc
● OTHER71% similar
no public price
Openlore
● OTHER71% similar
no public price
AAgents2Ranked by similarity
ProofForge
● AGENT77% similar
no public price
MathCode
● AGENT76% similar
no public price
PPlatforms1Ranked by similarity
ContextIQ
● PLATFORM72% similar
$5/mo Pro
FFrameworks1Ranked by similarity
Prover Agent
● FRAMEWORK70% 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.