&Truth

&Truth builds universal verification technology to mathematically prove that software code is safe, secure, and correct.

Status unknownVerified by OSH Website

&Truth is a cybersecurity company based in Palo Alto, US, founded in 2026. It has raised $70 million in disclosed funding. Its latest round was a Seed of $70 million in November 2026.

Overview

&Truth is developing a universal verification system designed to analyze software code and generate mathematical proofs of its safety, security, and correctness [0]. The company seeks to address the challenges posed by AI-generated and increasingly complex codebases by enabling independent verification at scale [0]. Its technical foundation relies on formal verification, theorem proving, and the Lean programming language [1, 2]. Founded in 2026, the company operates across cybersecurity and AI-ML sectors. It employs a strategy that integrates forward-deployed engineering, developer experience, and commercial go-to-market initiatives to implement its verification tools [2]. Led by co-founders Clark Barrett, Ilya Sergey, and Christopher Hsu, &Truth focuses on providing trust in software environments [1]. The company has secured $70 million in seed-stage funding.

formal verificationsoftware securityAI safetytheorem provingLeandeveloper tools