Who invested in LogosAI?

Investors on record for LogosAI: IndieBio.

LogosAI

Logos is turning formal verification into a high-bandwidth feedback channel that lets AI agents safely write production software in quantitative industries, with machine-checkable proof that it respects the invariants specified by the system it runs on.

AI agentsIndieBio

Website: logosresearch.ai.

Category: AI agents.

Domain age: 15 months.

On Recent Funding since: Oct 11, 2026.

About LogosAI

Recent Funding lists LogosAI under AI agents. It went through IndieBio (IndieBio SF 2025 H2).

Funding rounds

July 22, 2025
Website created
IndieBio SF 2025 H2
IIndieBio · batch
Source: indiebio.co

Investors

IIndieBioaccelerator

Similar AI agents companies

TThe Happy Camper$2.5M Seed · Oct 2026
CCygrid$2.98M Pre Seed · Oct 2026
RReduck$3M Pre Seed · Oct 2026
CCapitalOS$21.9M Series A · Oct 2026
YYGO$8.99M · Oct 2026
FFirstWork$15M Series A · Oct 2026

Questions and sources

LogosAI: questions and answers

Who invested in LogosAI?: Investors on record for LogosAI: IndieBio.

Every amount links to the page it came from. * Estimated from an accelerator's published standard deal, not a company-specific disclosure. How Recent Funding sources and verifies funding data. The same data as JSON: /api/v1/companies/logosai (get a free API key).