session_explain
Generates a human-readable summary of a symbolic derivation, including goal, steps, assumptions, and result. Supports short, medium, or detailed levels and optional focus on specific aspects.
Instructions
🗣️ Explain the current derivation in natural language.
Generates a human-readable summary of the derivation so far, including:
- The overall goal (session name/description)
- What formulas were loaded
- What operations were performed and why
- Key assumptions and limitations recorded
- The current result
Args:
level: Detail level — "short", "medium" (default), or "detailed"
focus: Optional aspect to focus on ("assumptions", "steps", "result")
Returns:
Natural-language summary and structured metadata
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| focus | No | ||
| level | No | medium |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||