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
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_root | No | ||
| state | No |