the short answer
TypeSafe AI is the AI company that develops Jev, its first System One model. The company focuses on machine-consumed intelligence: software sends text state and typed questions, and Jev returns bounded decisions with probabilities. TypeSafe publishes a hosted API, Python and JavaScript SDKs, documentation, cookbooks and an agent skill. Jev itself is a proprietary hosted model, not an open-weight release.
- Product
- Jev, the first TypeSafe System One model
- Public interfaces
- HTTP API, Python SDK and JavaScript/TypeScript SDK
- Open repositories
- Official SDKs and agent skill
- Model availability
- Hosted API and listed gateway providers
- Company description
- AI lab for machine-native intelligence and automation
What TypeSafe AI Builds
TypeSafe’s public thesis is that software automation needs a different model interface from human chat. Its term “machine-native intelligence” describes models optimized for structured, observable and inexpensive decisions that other software consumes. Jev is the first public model in that System One category.
The product surface includes POST /v1/systemone, official clients for Python and JavaScript/TypeScript, a browser playground, documentation and worked cookbooks. The SDKs preserve typed questions and answers, configure retries and timeouts, and default to the jev-latest alias. Application code remains responsible for credentials, rules and actions.
The Public Interface Is State Plus Typed Questions
This example follows the documented conceptual request shape: shared state and named typed questions. The current API reference is authoritative for exact transport fields. A Noul estimates one yes/no proposition, Choice compares supplied alternatives, and Score uses ordered descriptive levels. Jev does not return a drafted support reply.
The distinction explains TypeSafe’s “machine-native” framing. The result is intended for software to validate, store and combine with application rules. The primitive guide covers response semantics, while the HTTP guide tracks the current endpoint contract.
{
"model": "jev-1.13.0",
"state": {
"ticket": "Payouts have failed for three days",
"account_tier": "business"
},
"questions": {
"urgent": {
"type": "noul",
"instructions": "Does the evidence describe an urgent support issue?"
},
"queue": {
"type": "choice",
"instructions": "Which queue best owns this issue?",
"criteria": {
"billing": "Charges, invoices or refunds",
"payouts": "Settlement or payout failures",
"technical": "Product malfunction unrelated to money movement"
}
}
}
}What Is Public and What Is Not
| Publicly documented | Not established by those docs |
|---|---|
| Jev interface, primitives, pricing, limits and known 1.13 weaknesses | Complete model architecture, training dataset or reproducible RLCD recipe |
| Official SDK source and API types | Open Jev model weights |
| Requests and responses are not used to train Jev | A universal privacy or regulatory conclusion for every deployment |
| English is the strongest language | Equal quality across languages and domains |
The Public Repositories Are Integration Artifacts, Not Model Weights
A public repository should be cited at a specific commit or package version when implementation details matter. Inspect its license separately from hosted-service terms. The open-source status guide distinguishes open clients, compatible APIs and open weights.
| Artifact | Public purpose | What it does not establish |
|---|---|---|
typesafe-sdk-python | Python client, types and usage examples | A local Jev inference runtime |
typesafe-sdk-js | JavaScript/TypeScript client and types | Browser-safe credentials or local model execution |
| TypeSafe agent skills | Instructions and reusable guidance for coding agents | An independent Jev model implementation |
| Documentation and cookbooks | Current interface and recommended patterns | Complete training data or model architecture |
The Public Product Surface Has Four Distinct Layers
Confusing these layers creates inaccurate claims. A public SDK is not an open-weight model, and a provider listing is not a complete evaluation platform. The platform comparison distinguishes direct and third-party access; Jev eval platforms covers orchestration around the model.
TypeSafe Supplies Inference; the Application Owns the Decision System
This ownership boundary prevents a common category error: treating a model probability as an action. Jev can supply evidence for an evaluation or a runtime decision, but code still decides what happens and must handle timeout, missing evidence and provider failure. The evals overview and Jev-versus-rules guide show the two sides of that boundary.
| Layer | Primary owner | Evidence to retain |
|---|---|---|
| State selection and redaction | Application team | Projection version and source references |
| Typed judgment | Jev through the selected provider | Native answer, distribution and model identity |
| Threshold and fallback | Application or reliability platform | Decision-rule version and no-result handling |
| Permission and exact constraints | Application security controls | Authorization and validation results |
| Outcome and review | Product/domain owner | Human label, override, appeal and downstream result |
Current Jev Facts Require Dates and Provider Context
As verified September 22, 2026, TypeSafe lists jev-1.13.0 as stable and shows both jev-latest and jev-preview resolving to it. The same page publishes direct price, limits, English-first guidance and a no-training-use statement for customer requests and responses. These facts can change and should not be copied without a date.
Cloudflare also publishes a Jev route. An OpenRouter route page exists, but its public model catalog did not contain a TypeSafe or Jev entry during the same verification, so availability is not confirmed. The launch tracker records this correction and future changes.
Current Jev Fact Sheet
These values describe TypeSafe’s direct public surface at the review date. Cloudflare or another provider can use a different route ID, envelope, price, quota and data path. The model card, pricing guide and privacy review keep those dimensions separate.
| Field | Verified September 22, 2026 | Operational implication |
|---|---|---|
| Stable model | jev-1.13.0 | Pin it after calibration rather than relying on an alias |
| Aliases | jev-latest and jev-preview both resolved to 1.13.0 | Alias equality is a dated observation and can change |
| Direct price | $42 per billion input tokens; output tokens free | Calculate state and question tokens plus retries |
| Request limit | 64k total; state plus longest question constrained to 32k | Batching does not make an oversized state valid |
| Published direct limits | 250k tokens/second and 1,200 requests/minute, marked dynamic | Measure current account behavior before capacity planning |
| Language guidance | English is strongest | Validate each language and locale separately |
| Training use | Requests and responses are not used for training | Retention and provider-path review remain separate |
How to Evaluate TypeSafe Claims
Separate three evidence layers. TypeSafe documentation is authoritative for its current API, price and declared model behavior. TypeSafe launch benchmarks are first-party measurements and should be attributed. Independent projects and X threads can reveal useful tasks and counterexamples, but require their own datasets, code and reproduction before their numbers become general claims.
Avoid using search snippets or secondary profiles for funding, valuation, founder history, customers or adoption. Those facts belong on this page only after a current primary announcement or a reputable publication can be cited directly.
Use an Evidence Hierarchy for Fast-Moving Claims
The claim-check ledger applies this hierarchy to speed, price, calibration, privacy and provider claims. The X roundup treats social posts as attributed leads and records what would reproduce them.
| Claim type | Preferred source | Example of insufficient evidence |
|---|---|---|
| Request schema | Current API reference and released SDK types | A social screenshot |
| Model alias and limits | Current TypeSafe model page | An undated copied tutorial |
| Provider availability | Provider catalog plus successful account-level request | A route-shaped URL alone |
| Performance | Reproducible independent benchmark on named data | A vendor headline without configuration |
| Open-source status | Repository, downloadable artifact and license | A public client library |
| Company or founder fact | First-party announcement or reputable reporting | Search-result snippets |
Evaluate the Product Claim at the Application Boundary
The benchmark methodology supplies a reproducible protocol. This evidence boundary matters because a vendor’s architecture description and an application’s measured outcome answer different questions.
- Choose one bounded decision with an independently reviewable outcome.
- Implement it through the exact provider and SDK version under consideration.
- Freeze state projection, question wording, primitive and model version.
- Compare with the simplest rule, classifier, judge or human baseline.
- Measure errors, calibration, coverage, latency, cost and operational failures.
- Publish which facts came from TypeSafe and which results came from your test.
Evaluate TypeSafe as a Model Dependency, Not Only a Demo
This is ordinary dependency diligence, not a Jev-specific warning. A fast typed model can simplify one decision step while the surrounding service still needs credentials, observability, data governance and rollback. The quickstart covers integration; regression testing covers controlled upgrades.
- Confirm the current API, account access, model identity and provider route.
- Review state fields, data classification, retention terms and every processor in the path.
- Measure the target criterion against rules, a classifier, an LLM judge or human review as appropriate.
- Load-test representative state lengths, concurrency, retries and tail latency.
- Pin the accepted model and SDK versions and retain response fixtures.
- Define fallback, monitoring, migration and incident ownership before production use.
FAQ
Is TypeSafe AI the same as type safety in programming?
No. TypeSafe AI is a company and model provider. Type safety is a general programming-language property. Searchers should use “TypeSafe AI Jev” when they mean the company.
Is TypeSafe AI open source?
Its official SDKs and agent skill are public repositories. The hosted Jev model is not published as open weights.
Does TypeSafe train on customer requests?
The current model documentation says Jev is not trained on customer requests or responses. Deployment-specific retention and legal requirements should still be checked against TypeSafe’s current legal documents.
How do developers access Jev?
TypeSafe documents a direct API and official Python and JavaScript SDKs. Provider listings may offer additional routes with provider-specific pricing and behavior.
Sources
Checked against the sources below on September 22, 2026. Model versions, prices and limits change.
- TypeSafe AI: Home
- TypeSafe AI docs: Introduction
- TypeSafe AI docs: System One
- TypeSafe AI docs: Primitives
- TypeSafe AI docs: HTTP API
- TypeSafe AI docs: Models
- TypeSafe AI: Official GitHub organization
- TypeSafe AI: Python SDK
- TypeSafe AI: JavaScript SDK
- TypeSafe AI: Agent skills
- TypeSafe AI: Privacy policy
- Cloudflare Workers AI: TypeSafe Jev