TheoremDocs Open Theorem
Sections

Models, privacy and usage

Copy as Markdown

The models you can choose, what the flag and shield beside a model mean, and how the Usage page shows your allowance.

You choose the model for each message from the picker in the message box. Each model is shown with its maker's mark, its name, and up to two marks after the name.

The models

ModelFlagShield
Claude Haiku 5.5Europeyes
GPT-6 LunaEuropeyes
GLM 5.3 Flashnoneyes
DeepSeek V4.1 Flashnoneyes

Claude Haiku 5.5 is chosen for you until you choose another.

What the marks mean

Rest the pointer on a mark to read what it means. These are its exact words:

Usage and your allowance

Your use of the models counts against an allowance. Theorem shows it as a share, never as an amount of money.