Company profile
&Truth
Formal verification for code, made fast enough for everyday use: instead of testing a sample of inputs, it builds a mathematical proof that code is safe, secure and does what it should for every possible input, and…
- Status
- PrivateListed on CyberMerge Startup Radar (private vendors), snapshot Oct 30, 2026
- Valuation
- Undisclosed
- Latest funding
- Undisclosed
- HQ
- Palo Alto / US + Singapore (Startup Radar)
- CyberMerge Index
- #5 · score 80 Oct 30, 2026
- Last updated
Categories
Funding & valuation
Funding: Undisclosed — no round recorded in the CyberMerge Funding Tracker.
Latest signals
- Startup Radar · Application Security · snapshot Oct 30, 2026 29 Oct 2026: out of stealth with $70M in seed funding from AI safety and venture backers (individual investors not named). Public benefit corporation founded in early 2026 by Co-CEO Clark Barrett (Stanford professor, cvc5 lead), Chief Science Officer Ilya Sergey (NUS VERSE Lab) and Co-CEO Chris Hsu (ex-Citadel); team includes Lean 4 co-architect Sebastian Ullrich. Plans to open-source its foundational libraries. Product availability and valuation: Undisclosed (per Business Wire / Singapore EDB). Source
Rankings
- CyberMerge Index · Oct 30, 2026 #5 · score 80. Funding (Oct 29): &Truth came out of stealth with a $70M seed to mathematically prove code is safe and correct, using the Lean proof system to check AI-written code before it ships. Still in prototyping, and formal proofs don't catch everything (hardware faults, human error),… Source Daily momentum, not market cap.
Competitors
Same-category peers from CyberMerge Research maps, Startup Radar and What's The Use tags.
- ArmadinPrivateAI-native offensive security: autonomous agent swarms chain low-severity weaknesses into validated kill…
- OX SecurityPrivateAI-native AppSec from prompt to runtime: ASPM/PBOM, VibeSec for AI-generated code, plus OX Cloud CNAPP with…
- SnykPrivateDeveloper-first AppSec platform: code (SAST), open-source dependency (SCA), container and IaC scanning, now…
- Aikido SecurityPrivateUnified developer AppSec suite (SAST/SCA/secrets/cloud/runtime) with autofix; European unicorn.
- ApiiroPrivateDeep-code ASPM with Risk Graph, design-phase AI threat modeling, AutoFix.
- ArmorCodePrivateUnified exposure / ASPM orchestration across AppSec, cloud, and AI findings.
- ChainguardPrivateSafe-source open-source: zero-CVE container images, libraries, and supply-chain factory.
- CodeWallPrivateAutonomous AI offensive security: multiple specialized agents start with no credentials or inside knowledge,…
- Fleuret AIPrivateAgentic continuous pentesting: two AI agents (Emile and Champollion) map exposed apps, APIs and…
- GitGuardianPrivateSecrets detection + non-human identity / AI-agent credential governance across SDLC.
- HadrianPrivateAgentic offensive security: Atlas continuously maps the external attack surface and uses AI agents to…
- QuestorAIPrivateAutonomous vulnerability remediation for AppSec teams: deterministic code analysis plus targeted LLM calls…
Figures appear only as recorded in CyberMerge data, with source and date. “Undisclosed” means no published figure in our data. Editorial, not investment advice. Last updated . Spot an error? Tell the desk.