Using Chat

The Chat page is the main way to work with the verified math agent. Type a question in natural language and the agent runs a plan → reason → compute → verify → explain pipeline, using SymPy (and SageMath when needed) to check its own work before answering.

What you can ask

• Symbolic calculus — derivatives, integrals, limits, series.
• Algebra — simplification, solving equations and systems.
• Linear algebra — matrix operations, eigenvalues, determinants.
• Word problems that reduce to a symbolic computation.

Reading an answer

Answers render full markdown and math (via KaTeX). A final result is usually highlighted in a boxed expression. Where the agent verified a step symbolically, that verification is part of why you can trust the result — the answer is not just the model's best guess.

Tokens

Each message consumes tokens based on the length and complexity of the request and the verification work required. Your remaining balance is shown in the header. See Pricing & tokens.

Prefer an API?

Everything Chat does is also available programmatically over an Anthropic-compatible REST API and over MCP. See the API reference and MCP server articles.