Change what to find or bring back
edit_specChanges a condition or a fact to bring back without rewording the request. It takes the revised reading as ast, with the edit operations. Returns a checked reading with a new ast_hash for the next quote. Results that already ran stay as they were.
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": {
"ast": "<ast>",
"operations": "<operations>"
},
"name": "edit_spec"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ast | Yes | ||
| operations | Yes |