session_start
Initiate a symbolic derivation session by providing a name, domain, and pattern to begin step-by-step mathematical transformations with full provenance.
Instructions
Start a new derivation session
Args:
name: Derivation name
description: Derivation description
domain: Math/physics domain tag
pattern: Derivation pattern
goal: Natural-language goal (optional)
author: Author
Returns:
Session information
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"name": "<name>"
},
"name": "session_start"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| goal | No | ||
| name | Yes | ||
| author | No | ||
| domain | No | general | |
| pattern | No | direct-manipulation | |
| description | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||