Try Ansatz CGM on Kimi K3: a strategist plans, workers attempt lemmas, an independent model verifier checks each one, and a curator scores the search. Guests get up to 10 total run starts, then need to sign in. Deleting runs does not reset the allowance. Claude Code and Codex require sign-in. Hosted Kimi access is used when available; otherwise, add your Kimi key in Settings. Guest history expires with the 24-hour session and does not transfer to an account.
Your API keys are stored only in this service's user database and are used solely for the proving runs you start.