tasks_upsert
Create or update mathematical formalization tasks with flexible properties like title, state, priority, and assignee. Manage task workflows efficiently in Formath MCP.
Instructions
Create or update a task. Returns the task id.
Task shape (flexible): { id?, title, kind?, state?, entity_id?, priority?, assignee? } States: open|in_progress|blocked|done
Input Schema
Name | Required | Description | Default |
---|---|---|---|
project_root | No | ||
task | Yes |
Input Schema (JSON Schema)
{
"properties": {
"project_root": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"title": "Project Root"
},
"task": {
"additionalProperties": true,
"title": "Task",
"type": "object"
}
},
"required": [
"task"
],
"title": "tasks_upsertArguments",
"type": "object"
}