Toolin.ai
TypeSafe AI

TypeSafe AI

Officially listed

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

views 14favorites 0Paid
Visit website

TypeSafe AI

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 state plus typed questions and get answers with calibrated probabilities back in parallel (endpoint POST /v1/systemone)
  • Three Question Primitives: Choice (up to 255 options), Score (scored on a rubric), and Noul (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-sdk v0.7.0 (PyPI) and JS @typesafe-ai/sdk v0.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

### 💰 定价模式：按量计费（单一透明费率 · 候补名单制） **起步价**：$0.042 / 百万输入 token（输出免费） #### 主要方案 - **Jev 1.13（模型 ID `jev-1.13.0`）**：$0.042 / 百万输入 token（即 $42 / 十亿 token），**输出 token 免费**（官方措辞 'too cheap to meter'） - **速率限制**：250,000 tokens/秒、1,200 请求/分钟（超限返回 `429`） - **上下文**：总计 64k token / 请求（`state` + 单个问题上限 32k）；**仅文本输入**，不支持图像 / 音频 / 视频 #### 试用 / 其他信息 - **没有独立的定价页**（`/pricing`、`/pricing/`、`/plans` 均返回 404），以上费率来自**官方文档**：`https://docs.typesafe.ai/models`。 - **未见明确的公开免费额度**；访问主张经由 `console.typesafe.ai` 的 Early Access 候补名单，或通过 OpenRouter（`typesafe/jev-1.13`）、Vercel AI Gateway、Cloudflare Workers AI 调用。 - 官方自承：**「无法证明这不是补贴价」**，预期长期价格会下降而非上升。 — Visit website

FAQ

Is TypeSafe AI free?

There is currently no public free allowance or standalone pricing page. Usage is metered: $0.042 per million input tokens ($42 per billion), with output tokens free; access requires a waitlist or third-party gateways, and the company admits pricing may include subsidies.

What can TypeSafe AI's Jev model be used for?

Jev does not generate text; it receives state and typed questions and returns structured decisions with calibrated probabilities. It supports three primitives—Choice (up to 255 options), Score, and Noul—suited to high-frequency machine judgments like classification, routing, scoring, and validation.

Is TypeSafe AI the same company as Scala/Akka's Typesafe?

No. This entry refers to the San Francisco AI lab TypeSafe AI, Inc. (typesafe.ai, founded 2024, product Jev); the veteran Typesafe (typesafe.com) was renamed Lightbend in 2016 and is completely unrelated.

How does TypeSafe AI differ from general LLMs like GPT or Claude?

Jev cannot generate text, code, or conversation; it only makes typed decisions, winning on extremely low latency and cost while returning real probabilities. General LLMs are smarter but slower and more expensive. The two are more complementary than substitutable—writing copy or code still needs a large model.

Is TypeSafe AI's claimed "zero hallucination" real?

Understand it carefully: the official "zero hallucination" only means outputs will not deviate from the predefined schema—a constructive guarantee, not a measurement, and it does not mean the judgment is correct. It can still output a completely wrong but schema-legal value.

Is TypeSafe AI suitable for Chinese users?

Not really at present. The site and docs are English-only, the company admits Chinese/CJK accuracy is weak, and the service runs in a single US West Coast region not open to mainland China. For Chinese scenarios, test it yourself first or watch domestic open-source reproductions.