Math_chat_handler – 1 MCP server offers this tool
What it usually takes
informal_prefix– in 1 of 1max_tokens– in 1 of 1user_message– in 1 of 1
No server marks it as only reading: treat it as able to change data.
From each publisher's own tool list. We never call a tool.
Servers
| Server | Inputs | Read-only? |
|---|---|---|
Moonshot Math co.huggingface.tonic/math Handles a single chat interaction with the Kimina Prover model designed for competition-style problem solving it is capable of both formal and informal mathematical reasoning and problem solving. Returns: (, List of (role, content) pairs for display in the chat UI., JSON string containing model input, output, extracted Lean4 code, and updated chat history., Extracted Lean4 code from the model's response, if present., Updated chat history including the latest user and assistant messages., ), , , UU, UU, UU, (X → P) → P, (Y → P) → P, X × Y → P, X, ============================, (Y → P)", >>> informal_prefix = "/-Explain using mathematics-/, ", >>> max_tokens = 1234, >>> chat_history = None, >>> display_history, output_data_json, code, chat_history = chat_handler(user_message, informal_prefix, max_tokens, chat_history), # display_history contains the chat turns, output_data_json contains the full model output, code contains extracted Lean4 code. | informal_prefix,max_tokens,user_message | Not stated |