Supported Models
Every LLM provider and model available in LLM Prover, updated automatically from our live registry.
Unlocked at
Openai
GPT-4o Mini
GPT-4.1 Nano
GPT-4.1 Mini
GPT-4o
GPT-4.1
o3 Mini
o3
o1 Pro
Anthropic
Claude Haiku 4.5
Claude Sonnet 4.5
Claude Sonnet 5
Claude Opus 5
Claude Sonnet 4.6
Claude Opus 4.8
Claude Fable 5
Grok
Grok 4.3
Grok 4.20 Reasoning
Together
DeepSeek V4 Flash
DeepSeek V4 Pro
Kimi K3
Llama 4 Scout
Qwen3 72B
Gemma 4 27B
Groq
Llama 3.1 8B Instant
Qwen 3.6 27B