Formath MCP

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"
}

Install Server

HTTP connection URL

Other Tools from Formath MCP

Related Tools

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/yutayamamoto/formath-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server