# Modal vs TypeSafe AI: who uses which

On usedby, 32 companies use Modal and 3 use TypeSafe AI. 1 company uses both, including Linear. Counts include every proof level, job-post signals included; each company keeps its proof level on each side. Latest check 2026-11-01: 35 of 35 public lines checked.

## Side by side

|  | [Modal](https://www.usedby.ai/tools/modal.md) | [TypeSafe AI](https://www.usedby.ai/tools/typesafe-ai.md) |
|---|---|---|
| Public customers | 32 | 3 |
| Confirmed | 0 | 1 |
| Observed | 28 | 1 |
| Signals (job posts) | 0 | 0 |
| Top industries of customers (every proof level) | Artificial Intelligence (15), DevTools & Infrastructure (5), Media & Publishing (3) | Data & Analytics (1), DevTools & Infrastructure (1) |
| Category | AI inference & GPU cloud | Foundation models & model APIs |
| Security | SOC 2 Type II ([trust.modal.com](https://trust.modal.com/), checked 2026-10-24) | SOC 2 Type II ([trust.typesafe.ai](https://trust.typesafe.ai/), checked 2026-10-27) |
| Data processing terms | A data processing agreement is available. ([modal.com](https://modal.com/legal/dpa), checked 2026-10-24) | — |
| Free trial | Free trial or free plan available. ([modal.com](https://modal.com/pricing), checked 2026-10-24) | — |
| Your data | — | Not used to train models by default. ([typesafe.ai](https://typesafe.ai/legal/privacy-policy), checked 2026-10-27) |
| Pricing | — | Jev 1.14: $0.042 per Mtok ([docs.typesafe.ai](https://docs.typesafe.ai/models.md), checked 2026-10-27) |

## Companies that use both

Every proof level counts; the proof level of each side is shown, strongest proofs first. The first public proof is not an adoption date.

| Company | Proof, Modal | Proof, TypeSafe AI | First public proof, Modal | First public proof, TypeSafe AI |
|---|---|---|---|---|
| [Linear](https://www.usedby.ai/companies/linear.md) | Declared by the company | Declared by the company | On or before October 2026 | On or before November 2026 |

## Published results

Reviewed stories only; usedby did not measure the figures.

- TypeSafe AI: [Jack & Jill](https://www.usedby.ai/case-studies/jack-jill-typesafe-ai.md): **88%**: “with 88% lower cost and roughly 50% faster task completion time” (captured by usedby 2026-10-27)

---
Source: https://www.usedby.ai/compare/modal-vs-typesafe-ai · How we check: https://www.usedby.ai/methodology