Position in SVTR
Snapshot 2026-10-31- Startup SignalsTop 50%new
- Security & ComplianceTop 50%new
- ProgrammingTop 50%new
- AI Security#10of 28
About
&Truth is a public benefit corporation founded in 2026, headquartered in Palo Alto with a team in Singapore, building a universal verification machine that combines the Lean proof assistant with AI-accelerated proof automation to produce independently checkable proofs that code is safe, secure and correct.
Full tier & rationale — an SVTR Intelligence benefit
Capital graph
Founders / team· 3
Funding history
- 2026-10-29Seed$70M
Comparable companies· by market
This company
BusinessLatest roundTotal raisedDate- &Truth
&Truth is a public benefit corporation founded in 2026, headquartered in Palo Alto with a team in Singapore, building a universal verification machine that combines the Lean proof assistant with AI-accelerated proof automation to produce independently checkable proofs that code is safe, secure and correct.
Seed · $70M · 2026-10
$70M
United States
BusinessLatest roundTotal raisedDate- Cinder
Trust and safety SaaS for digital platforms and AI companies: policy management, investigation/case management, content moderation queues, risk monitoring and compliance, with AI agents automating moderation and model red teaming.
$55M
$55M - Endor Labs
Builds scanning tools that detect potential vulnerabilities and compliance risks in code written by developers or AI tools
Series B · $163M · 2025-04
$163M - Socket
Provides scanning tools to detect security vulnerabilities in open-source code
Series C · $125M · 2026-05
$125M
Europe
BusinessLatest roundTotal raisedDate- Aikido Security
Unified security platform for developers (scanning code, cloud infrastructure and runtime)
Series B · $85M · 2026-01 · Valuation $1.0B
$85MValuation $1.0B - Cloudsmith
Provides an artifact management platform for software supply chain security governance, covering software packages, containers and machine learning models
Series C · $124M · 2026-04
$124M - Geordie
Security visibility and risk control platform for enterprises adopting AI agents
Series A · $37M · 2026-05 · Valuation $180M
$37MValuation $180M
Other / unspecified
BusinessLatest roundTotal raisedDate- Clover Security
AI product security platform embedded in developer tools
Undisclosed · $36M · 2025-12
$36M - Echo
AI agents that automatically build more secure Docker base images
Series A · $35M · 2025-12
$35M - AIR Security
Context firewall and plugin/MCP supply chain review for AI agents
Seed · $50M · 2026-09
$50M
Confirmed rounds only. Matched on subsector, sector, stage and funding scale — each verifiable on the company profiles.
Investors that may fit
Y Combinator
23 Security & Compliance deals in the last 24 months · 19 at a nearby stage · 21 in United States
Request intro →Accel
21 Security & Compliance deals in the last 24 months · 9 at a nearby stage · 16 in United States
Request intro →Andreessen Horowitz
18 Security & Compliance deals in the last 24 months · 9 at a nearby stage · 16 in United States
Request intro →Cyberstarts
18 Security & Compliance deals in the last 24 months · 4 at a nearby stage · 14 in United States
Request intro →Greylock Partners
14 Security & Compliance deals in the last 24 months · 8 at a nearby stage · 12 in United States
Request intro →Ten Eleven Ventures
14 Security & Compliance deals in the last 24 months · 10 at a nearby stage · 7 in United States
Request intro →Ranked by each firm’s deals in this sector over the last 24 months, weighted by nearby stage and shared geography. Indicative only — no rating judgment.