Skip to content
Model Menu
Models
Compare
Leaderboard
Benchmarks
⌘K
Top
Chat
Coding
Agents
Writing
Vision
Image
Video
Speech
Embeddings
Decision
Music
l
lm-provers models
1
models
1
current
1
open weights
Catalog view
Feb 12, 2026
QED Nano
newest release
$0.40 / $0.80
QED Nano
?
cheapest · per 1M in / out
0
categories ranked
Pricing
lm-provers API pricing
?
1 models
Model
Input
Output
Cache read
Context
Released ↓
Status
QED Nano
h
!
$0.40
$0.80
—
262K
Feb 2026
Full lm-provers pricing: cache, batch, FAQ →