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
o4 Mini
GPT-5 Mini
o3
GPT-5
GPT-5.1
GPT-6 Astra
Anthropic
Claude Haiku 4.5
Claude Sonnet 4.5
Claude Sonnet 5
Claude Sonnet 4.6
Claude Opus 4.5
Claude Opus 4.6
Claude Opus 4.7
Claude Opus 4.8
Claude Opus 5
Claude Fable 5
Claude Fable 5.1
Grok
Grok 4.3
Grok 4.5
Grok 4.6
Grok 4.20
Grok 4.20 Reasoning
Grok 4.7
Together
DeepSeek V4 Flash
DeepSeek V4 Pro
Kimi K3
Qwen 3.8 2.4T
Groq
Qwen 3.8 27B