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

Market around Lean Studio

A native desktop IDE for Lean 4 on macOS, Windows, and Linux. It provides an MCP server for AI assistants, re-checks proofs with the Tenet Lean 4 kernel, and includes Git and GitHub integration.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

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

Products in this market

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

MMCP servers25Ranked by similarity
Lean Studiothis listing
● MCP
no public price
lean4-lsp-mcp
● MCP82% similar
no public price
LeanWarp-SDK
● MCP77% similar
no public price
LeanForge MCP
● MCP77% similar
no public price
MCP Project Assistant
● MCP76% similar
no public price
mcp-gitlab
● MCP74% similar
no public price
Gitlab
● MCP74% similar
no public price
Code Review MCP Server
● MCP74% similar
no public price
EcoScan
● MCP73% similar
no public price
git-commands-mcp
● MCP73% similar
no public price
temp scan ecoscan-68941949-deletion_scheduled-88349977
● MCP72% similar
no public price
atomgit-mcp-server
● MCP72% similar
no public price
LocalBridge
● MCP72% similar
no public price
SYNTARO MCP
● MCP72% similar
no public price
Code Index MCP
● MCP72% similar
no public price
GitHub Actions MCP Server
● MCP72% similar
no public price
temp scan ecoscan-68941949-deletion_scheduled-88643850
● MCP72% similar
no public price
HomeShed MCP
● MCP71% similar
no public price
GitHub MCP Server
● MCP71% similar
no public price
Axiomatic Prover
● MCP71% similar
no public price
MCP Verified Agent Loop
● MCP71% similar
no public price
GitLab MCP Server
● MCP71% similar
no public price
Tokenectomy Git
● MCP71% similar
no public price
Overleaf
● MCP70% similar
no public price
ryns-code-mcp
● MCP70% similar
no public price
OOther4Ranked by similarity
lean-host-mcp
● OTHER84% similar
no public price
Vero
● OTHER73% similar
no public price
Git Collaboration Practices
● OTHER71% similar
no public price
deltaprobe
● OTHER71% similar
no public price
FFrameworks1Ranked by similarity
Delimit
● FRAMEWORK70% similar
$10/mo Pro

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.