Loading...
Loading...
Side-by-side comparison of API pricing, context window, latency, and benchmark performance. Data refreshed daily from provider APIs and ModelStop's own latency probes.
💰Goedel-Prover-V2-32B is 100% cheaper than Amazon Nova Micro
Price (lower is better), Speed/Latency (lower is better), Performance (higher is better)
Goedel-Prover-V2-32B is Infinity% cheaper
| Spec | Amazon Nova Micro | Goedel-Prover-V2-32B |
|---|---|---|
| Provider | amazon | np235 |
| Input price / 1M tokens | $0.04 | Free |
| Output price / 1M tokens | $0.14 | — |
| Context window | 128k tokens | — |
| Latency (p50) | — | — |
| Best benchmark score | — | — |
| Open source | No | No |
Amazon Nova Micro is the fastest and most cost-effective text-only model in the Nova family, optimized for speed and low latency. Ideal for customer service, summarization, and translation at scale.
Open-source Goedel-Prover-V2-32B model from np235 — available for download and self-hosting on Hugging Face.
Want to swap in a different model or estimate monthly costs?