/
Log inGet free API keyAccount
Menu
InvestorsCompaniesFit CheckerDocsPricingGet free API key

Companies / Theorem

Theorem

Company

Theorem automates the process of verifying software properties through proof generation.

CybersecurityAI & Machine Learning

Theorem has 2 investors on file, among them E14 Fund and Eight Capital.

theoremlabs.comNow at theorem.dev

Investors

2 investors on file
InvestorEvidenceType
E14 FundPortfolio pageVenture capital
Eight CapitalPortfolio pageVenture capital

More from E14 Fund

194 companies on its checked portfolio

Its portfolio leans to AI & Machine Learning (29%), Healthcare & Biotech (15%), Industrial & Manufacturing (11%).

Agentic FabriqAgentic Fabriq provides identity and access control for AI agentsCode FourCode Four generates police reports using AI from body-cam footage and …Dedalus LabsDedalus Labs provides persistent virtual machines for agentsDelveDelve automates compliance work for companies, particularly in areas s…EmbedderEmbedder writes and debugs firmware code for hardware devices

See E14 Fund's full profile · Who invests alongside it

More from Eight Capital

231 companies on its checked portfolio

Its portfolio leans to AI & Machine Learning (36%), Fintech (11%), Enterprise Software (11%).

Arga LabsArga Labs provides real-world sandboxes for testing and training AI ag…Better AuthBetter Auth provides an authentication framework for applicationsBrowser UseThe company provides cloud browser infrastructure and agents for autom…BuildjetBuildJet provides managed performance runners for GitHub Actions to ma…Codeant AiCodeant Ai provides continuous cyber defense services, including pente…

See Eight Capital's full profile · Who invests alongside it

A company is shown only after its own site answers and carries its name. Sites are checked again on a schedule, because domains lapse and get bought. Round stages and dates come from Fundup AI; investor links come from portfolio pages and rounds; other facts name their source when you point at them. How we grade the data

Free account · no card

Get Theorem and its investors as data

Look up any company's investors, or any investor's full portfolio, through one API key or MCP. A free account also opens Ask AI searches and alerts when E14 Fund adds a company.

Work email, sign-in link by email. Already have an account? Log in
Your API keyRead the docs
  • Ask AI5 plain-English investor searches a day
  • Full listsEvery portfolio row and two-firm overlap
  • API and MCP100 REST or MCP calls a month, one key
  • AlertsFollow 5 investors for portfolio and fund changes
VCinfo API
$ curl -H "X-API-Key: YOUR_KEY" \
  https://api.vcinfo.io/v1/companies/theoremlabs.com/investors

# also
GET /v1/companies/theoremlabs.com
GET /v1/companies/theoremlabs.com/news
The same data as an MCP server for Claude, Cursor and other AI tools. Set up MCP · Docs · Pricing