Asari AI
Asari AI builds AI agents that plan, verify, and reason over long-horizon engineering tasks. Its EnCompass framework, co-developed with MIT CSAIL and Caltech, has translated safety-critical C codebases to Safe Rust for aerospace customers including ESA-adjacent verifier GTD GmbH.
- Company typePrivate
- Founded2024
- HeadquartersSan Francisco, United States
- Headcount1–10
- GTM typeB2B
- OfferingSoftware
What Asari AI does
Asari AI is a privately held, San Francisco-based AI research and engineering company building AI agents capable of long-horizon reasoning, planning, verification, and discovery. Founded by Stephan Zheng in 2024, the company is developing systems designed to collaborate with humans on inventing and designing new technologies across scientific and engineering domains.
The company's technical centerpiece is the EnCompass framework, developed in collaboration with MIT CSAIL and Caltech researchers and presented at NeurIPS 2025. EnCompass decouples an agent's core workflow from the inference-time search strategy applied over execution paths, using primitives like branchpoint() and record_score() to enable dynamic backtracking and parallel exploration without rewriting agent code. Reported technical performance includes an ~80% reduction in code lines required to implement systematic search, and a 15-40% accuracy improvement in Java-to-Python translation tasks across five repositories using a two-level beam search strategy. Beyond the framework, Asari has demonstrated end-to-end agent capabilities by translating four critical C libraries (libmcs, gzip, libyaml, zlib, totaling 40K+ lines) into Safe Rust, with its agents reportedly catching subtle errors in expert-reviewed ESA test suites.
Asari AI's commercial posture remains early-stage and stealth-adjacent. No public pricing model or product distribution channels are disclosed, and revenue is not reported. The known customer base is anchored by GTD GmbH, a European Space Agency flight software verifier for whom Asari is migrating safety-critical aerospace software. Target segments include aerospace and safety-critical software, organizations addressing DARPA's TRACTOR program for memory-safe code migration, and broader research-oriented users of long-horizon AI agents. Marketing and go-to-market lean on technical blog content, academic conference presence (NeurIPS 2025), open-source releases on GitHub, and a careers funnel via Ashby HQ. Backers include Eric Schmidt, Jeff Dean, Caltech, and AI researchers from Google/DeepMind, UT Austin, and elsewhere, providing reputational capital ahead of scaled commercial deployment.
Asari AI firmographics
Firmographics- Name
- Asari AI
- Legal name
- Asari AI Inc
- Website
- https://asari.ai
- Company type
- Private
- Founded year
- 2024
- Operating status
- Operating
- Headcount range
- 1–10 employees
- Short description
- Asari AI builds AI agents that plan, verify, and reason over long-horizon engineering tasks. Its EnCompass framework, co-developed with MIT CSAIL and Caltech, has translated safety-critical C codebases to Safe Rust for aerospace customers including ESA-adjacent verifier GTD GmbH.
- Ownership category
- akta.pro rank
Asari AI industry classification
Industry- Product category
- AI Agent Development Platform
- NAICS
- Custom Computer Programming Services (541511)
- SIC
- Services-Computer Programming Services (7371)
- akta.pro primary industry
- AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs) (HDAEANAJ)
- akta.pro secondary industries
- End-to-End Enterprise AI Platforms (MLOps & Model Lifecycle Management) (HDAEANAA), AI Integration & Orchestration Platforms (Connectors, Workflow, iPaaS for AI) (HDAEANAI)
Keywords
Where Asari AI is headquartered
LocationHeadquarters
- HQ city
- San Francisco
- HQ country
- United States
- HQ region
- North America
Offices1 record
Markets served
Asari AI business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Technology or R&D
Go-to-market motion2 records
Marketing channels4 records
Asari AI product offering
Product offeringCore offering
Asari AI develops AI agents and supporting frameworks that plan, reason, verify, and discover new skills and knowledge for complex engineering tasks. The company offers an AI agent platform with the EnCompass framework (built with MIT CSAIL and Caltech) that decouples agent workflow logic from inference-time search strategies, enabling long-horizon reasoning, systematic backtracking, and rigorous verification across applications such as C-to-Safe Rust code translation for safety-critical systems.
Product overview
Asari AI offers an AI agent platform for co-inventing and designing at scale across scientific discovery and engineering domains. The platform centers on AI agents that learn, reason, plan, and verify at scale for collaboration and discovery. The EnCompass framework (developed with MIT CSAIL and Caltech) provides modular agent intelligence by separating core workflow logic from search strategies, enabling dynamic backtracking and intelligent exploration. The architecture supports long-horizon tasks with rigorous verification standards, including code translation and migration of critical systems.
Differentiator
Problem solved
Functional benefit
Products and services
- AI Agent Platform AI agent platform that enables people to co-invent the future by providing agents that reason consistently over long horizons, manage complex architectural tradeoffs, and meet rigorous verification standards for complex engineering tasks. Targeted at organizations developing AI systems for multi-step reasoning and engineering challenges.
- EnCompass Framework Software framework developed with MIT CSAIL and Caltech that separates AI agent workflow logic from inference-time search strategies. Enables systematic backtracking, parallel execution, and dynamic application of search strategies without rewriting agent code, targeting developers building long-horizon LLM agents.
Quantifiable outcome
- 80% reduction in coding effort for implementing search across AI agents
- +3 more outcomes
Companies that use Asari AI
Customer profileNamed customers1 record
Segments3 records
Ideal customer profiles3 records
Asari AI technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
AI capability5 records
Feature5 records
Asari AI partnerships and signals
Strategic signalPartnerships
Three partnerships are on record, tiered core and major.
- GTD GmbHcoreEuropean Space Agency flight software verification partner. GTD certifies flight software to ESA standards and worked with Asari AI to verify the translation of libmcs from C to Safe Rust, ensuring the code met astronomical precision standards.
- MIT CSAILmajorMIT's Computer Science and Artificial Intelligence Laboratory collaborated with Asari AI to develop the EnCompass framework, presented jointly at NeurIPS 2025.
- Caltech (Research Collaboration)coreCaltech researchers collaborated with Asari AI and MIT CSAIL on the EnCompass framework for improving AI agent scalability.
Scale indicators3 records
Recent moves6 records
Expansion highlights6 records
Asari AI competitors and assessment
Company assessmentDirect peers
- Cognition AI: Developer of Devin, an autonomous AI software engineering agent. Direct competitor in the long-horizon, agentic coding space that Asari is targeting with its EnCompass framework.
- Factory AI: Builds autonomous coding agents (Code Droid) for enterprise software engineering tasks. Closely comparable in autonomous-agent-for-engineering positioning and target customer profile.
- Magic AI: Frontier AI lab focused on long-horizon reasoning agents that can plan and execute complex multi-step tasks. Comparable technical thesis to Asari's long-horizon agent capability.
- Sakana AI: AI research lab building foundation models and agents for scientific discovery and complex reasoning. Comparable in research-led orientation, agent focus, and ambition to apply AI to invention and discovery.
- Reflection AI: Develops autonomous AI agents with emphasis on reasoning, planning, and tool use. Comparable positioning in the autonomous-agent-for-engineering market.
Broad incumbents
- Anthropic: Frontier-model provider whose Claude Code product targets autonomous coding and agent workflows. Represents a broad incumbent that could absorb EnCompass-style techniques into its own agent stack.
- Sourcegraph: Enterprise code intelligence platform with AI agent features (Amp/Cody). Overlaps with Asari's engineering-agent vision at the enterprise platform layer.
- OpenAI: Frontier-model and agent platform provider (Codex, Operator). Competes broadly in the autonomous agent category where Asari is positioning.
Emerging players
- Corrode: Specialized startup focused on C-to-Rust translation tooling. Directly competes with Asari's Safe-Rust migration offering in the memory-safety conversion market.
Others
- Anduril Industries: Defense-technology company building mission-critical software for aerospace and national security. Comparable as a buyer/use-case archetype for Asari's aerospace verification agents, rather than a direct technology competitor.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks6 records
Key highlights6 records
Customer concentration
Asari AI social profiles
Digital presenceAsari AI compliance and trust
Trust signalCompliance1 record
Asari AI financial estimates
Financial estimateRevenue estimate
Valuation estimate
Asari AI leadership team
Management profileNumber of profiles
Profiles1 record
Asari AI funding detail
Funding detailFunding overview
Funding rounds1 record
Investors1 record
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Asari AI M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Asari AI
What does Asari AI do?
Asari AI develops AI agents and supporting frameworks that plan, reason, verify, and discover new skills and knowledge for complex engineering tasks. The company offers an AI agent platform with the EnCompass framework (built with MIT CSAIL and Caltech) that decouples agent workflow logic from inference-time search strategies, enabling long-horizon reasoning, systematic backtracking, and rigorous verification across applications such as C-to-Safe Rust code translation for safety-critical systems.
Is Asari AI a public or private company?
Asari AI is a private company. It is classified as venture growth investor backed and is currently operating.
When was Asari AI founded?
Asari AI was founded in 2024. It employs 1 to 10 people.
Where is Asari AI based?
Asari AI is headquartered in San Francisco, United States, in the North America region.
Who are Asari AI's main competitors?
Direct peers on record are Cognition AI, Factory AI, Magic AI, Sakana AI and Reflection AI. Broad incumbents are Anthropic, Sourcegraph and OpenAI. Corrode is listed as an emerging player. Anduril Industries is listed as an others.
Does Asari AI have an API?
No public API is recorded for Asari AI.
What industry is Asari AI in?
Asari AI's product category is AI Agent Development Platform. Its primary akta.pro industry code is HDAEANAJ, AI Application Enablement Platforms (Copilot/Agent Frameworks, SDKs), with a secondary code of HDAEANAA, End-to-End Enterprise AI Platforms (MLOps & Model Lifecycle Management). Its NAICS code is 541511 and its SIC code is 7371.