
TypeSafe AI
A San Francisco AI lab's typed decision-making model API for structured judgments

Tool details
TypeSafe AI is the flagship product of the San Francisco AI lab TypeSafe AI, Inc. (founded 2024, came out of stealth on 2026-09-15). Its core is Jev, a model that generates no text and outputs only typed probabilistic decisions (officially called the first-generation System One Model). It targets developers who need high-frequency classification, routing, scoring, and validation inside software, trading extremely low cost for machine-readable structured judgments.
Name Disambiguation This entry refers exclusively to typesafe.ai (TypeSafe AI, Inc.), which has no connection to the veteran typesafe.com (the Scala/Akka parent company renamed Lightbend in 2016); "type-safe" is also just a general programming concept. Note that it is not the already-listed type.ai—they are not the same product.
Core Capabilities
- Typed Decision API: Send
stateplus typed questions and get answers with calibrated probabilities back in parallel (endpointPOST /v1/systemone) - Three Question Primitives:
Choice(up to 255 options),Score(scored on a rubric), andNoul(yes/no probability), each with a confidence value - Machine-Readable Output: Schema constraints mean no illegal values, eliminating JSON parsing and retry logic
- Real SDKs and Distribution: Python
typesafe-sdkv0.7.0 (PyPI) and JS@typesafe-ai/sdkv0.6.0 (npm), plus listings on OpenRouter, Vercel AI Gateway, and Cloudflare Workers AI - Low Latency, Low Cost: Officially, parallel sampling replaces token-by-token generation—"adding questions barely changes response time"; $0.042 per million input tokens
- Verifiable Team and Capital: Diogo Almeida (CEO, ex-OpenAI, one of the InstructGPT/RLHF authors), Erik Gafni (CTO), Sasha Sheng (COO); a $40M seed round led by DCVC
Why It Matters LLM free text must be parsed, retried, and validated before it can enter code; Jev directly produces "typed machine decisions," removing that entire layer of engineering burden—replacing text that needs repeated cleaning with schema-guaranteed legal values.
Use Cases Support ticket triage, agent tool routing, LLM output guardrails, log/content moderation, code retrieval scoring, and a fast decision layer for Computer Use. Suited to engineering teams with high-frequency judgment needs whose answer spaces are predefined and who find current LLM-based approaches unacceptably slow or costly.
Unique Advantages The selling point is the "price-latency Pareto frontier" rather than intelligence ceilings: multiple independent tests confirm the speed and cost advantages largely hold (Every measured 777 judgments taking under 0.7 seconds at about $0.0025; Dan Shipper recorded a median of 0.35 seconds vs. 8.83 seconds for comparison models), and it is one of the few models returning real probabilities that can drive automated thresholds.
Red Flags to Face Honestly
- The headline "193.6x / 444.6x" improvement figures come from 4 workflows of its own design; the company admits it sits at the favorable end of realistic gains, while third-party tests show closer to 25x
- "Zero hallucination" only means schema-legal, not correct—the company admits the 0% figure was not measured
- Accuracy actually trails the frontier: 67.8% vs. 74.1%; invoice tasks 61.8% vs. 79.1%
- No paper, no weights, no parameter count; architecture undisclosed; the company admits it cannot prove pricing is not subsidized and does not publish standard benchmarks
- Single US West Coast region, weak CJK/Chinese accuracy, and not open to mainland China
Editor's Review Coverage is broad but very fresh: TechCrunch, InfoWorld, HPCwire, Forbes, The Register, Business Wire, and others reported heavily within days, a Hacker News hit drew 1,920 points / 504 comments, Chinese media produced numerous write-ups, and independent tests (Every, paddo.dev, primeline.cc) have already appeared—but it has been public only since 2026-09-15, about 5 days, so accuracy claims still lack time-based validation. It is not vaporware: the real API, SDKs, third-party gateways, named team, and DCVC $40M are all verifiable (the GitHub org typesafe-ai was created 2024-05-28, with 10 public repos under MIT license). Treat it as "early infrastructure worth watching, but validate calibration and accuracy on your own data first"; Chinese users in particular should note the service is not open to mainland China and Chinese capability is weak.
Pricing
Subscription$0.042 / 1M input tokens (output free)Output tokens are free (official wording: 'too cheap to meter')
Additional notes
No standalone pricing page (`/pricing` and `/plans` both return 404); the rates above come from the official docs at docs.typesafe.ai/models; no clear public free allowance — access requires the Early Access waitlist at console.typesafe.ai, or calling via OpenRouter (`typesafe/jev-1.13`), Vercel AI Gateway, or Cloudflare Workers AI. Rate limits: 250,000 tokens/second, 1,200 requests/minute (429 when exceeded); 64k token total context per request (`state` + a single question capped at 32k), text input only. The vendor itself admits it 'cannot prove this is not a subsidized price' and expects long-term prices to fall rather than rise.
FAQ
User reviews
User Reviews
No reviews yet
No one has reviewed this tool yet