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

0th pctile

2 competing vendors

Comparable listings · 30d

—

limited data · 0 priced comparables

Price spectrum · Pro plans · 2 of 5 providers priced · log scale · $5 → $10/mo

Platforms Frameworks◻ 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 servers11Ranked by similarity

Lean Studiothis listing

MCP Verified Agent Loop

OOther2Ranked by similarity

Vero

● OTHER73% similar

no public price

Git Collaboration Practices

● OTHER71% similar

no public price

FFrameworks2Ranked by similarity

delimit

● FRAMEWORK70% similar

$10/mo Pro

Claw Code

● 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.