Market around Untyped

An open-source TLA+ model-checking tool that verifies AI agent harness protocols and recorded runs for duplicate effects, approval requirements, retry budgets, and other durable-execution behaviors.

Visit github.com ↗Pricing page ↗

Explore the market

Prices and medians update for the tier you select.

Compare at

Untyped · Pro

No Pro plan

—

Pro-provider median

—

insufficient comparable pricing

vs Pro providers

No comparison

Untyped doesn't sell Pro

ⓘ Comparisons are same provider type (provider) and same buyer tier (Pro). Never across tiers.

Market density

23rd pctile

24 competing vendors

Comparable listings · 30d

—

Price spectrum · Pro plans · 4 of 5 providers priced · log scale · $5 → $199/mo

MCP servers Platforms Frameworks◻ shaded = middle 50% · line = median (all types)Untyped has no comparable Pro price — not plotted

Products in this market

Ranked by how closely each one matches Untyped's job. Prices show each provider's Pro state; entry prices are labelled as such. Unpriced products still belong to the market.

OOther2Ranked by similarity

FFrameworks6Ranked by similarity

Tardygrada

● FRAMEWORK73% similar

no public price

Actionrail

● FRAMEWORK73% similar

no public price

ScaffoldScope

● FRAMEWORK71% similar

no public price

hlock

● FRAMEWORK71% similar

no public price

LLMLL

● FRAMEWORK71% similar

no public price

Langwatch

● FRAMEWORK70% similar

no Pro plan

entry $32/mo

MMCP servers3Ranked by similarity

PPlatforms2Ranked by similarity

Agent Eval Harness

● PLATFORM71% similar

no public price

agent-evals

● PLATFORM71% similar

no public price

Market = the products most similar to this one by capability; prices are median / quartiles over its priced members, separated by provider type and buyer tier.