Trades on 1 secondary market

Lean

Lean is an open-source theorem prover and programming language based on dependent type theory, designed for formal verification of mathematics and software. It supports interactive proof development and is used by mathematicians and computer scientists.

emerging 11.4 / 100 1 API View provider profile →
Dependent TypesFormal VerificationProgramming LanguageTheorem Prover

Lean is an API provider whose private shares are listed on 1 secondary market: EquityZen.

Lean publishes 1 API indexed on the APIs.io network.

Where It Trades

EZ EquityZen View listing →

Listing data is compiled from the public marketplace pages of Forge Global, Hiive, EquityZen, Nasdaq Private Market, and Augment. A listing indicates that a venue has published a page for this company — it is not an offer, a quote, or investment advice, and APIs.io has no affiliation with any venue.

Work with this as data

Every listing here is available over the APIs.io API and to AI agents over MCP. Secondary Market is not yet its own endpoint on the v1 API. Reach it through catalog search and the tag graph, or the MCP server.

MCP server

One button, every client — Claude, Cursor, VS Code and the rest.

https://apis.io/mcp

Tools for secondary market

3 MCP tools reach this
  • apis_io_searchSTART HERE — APIs, providers and tags for one query, each with its total.
  • resolveTurn a domain, URL or GitHub org into the provider it belongs to.
  • find_cohortsEvery scored population of providers in the catalog.
All 92 tools →

Call it yourself

curl for this page
Search the catalog 
curl "https://apis.io/api/v1/search?q=lean&limit=10"
Everything under a tag 
curl "https://apis.io/api/v1/tags/lean"

Discovery needs no key. Ratings and market analysis are Pro.

Get an API key

Free tier, no email required.

GitHub Google LinkedIn

A second provider on the same verified email joins the account you already have.