Kimi Proof Lab
Public proof runner
Public beta
Server-sponsored Kimi K3

Take a math problem from question to proof.

Choose a proving harness and run it directly with Kimi K3. No account, registration, API key, or provider setup is needed.

Kimi K3 fixed modelNo login anonymous sessionNo API key server sponsored

1. Choose a harness

Only harnesses tested with this Kimi endpoint appear here.

Kimi K3
Loading available harnesses…

Include all hypotheses and the exact conclusion to prove.

0
Current run
No run started
Ready

Your proof will appear here

Select a harness, enter a self-contained problem, and start a Kimi K3 run. Status and activity update automatically.