Formath MCP

tasks_list

Retrieve and manage tasks in JSON format, optionally filtered by state, to streamline tracking and organization within mathematical formalization workflows on Formath MCP.

Instructions

List tasks (optionally filter by state). Returns JSON list (latest per id).

Input Schema

Name	Required	Description	Default
`project_root`	No
`state`	No

Input Schema (JSON Schema)

{
  "properties": {
    "project_root": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Project Root"
    },
    "state": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "State"
    }
  },
  "title": "tasks_listArguments",
  "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