render_checklist_markdown
Converts tasks.jsonl into a formatted checklist.md, ensuring the latest entries per ID are included. Simplifies task tracking and project management for mathematical formalization workflows on Formath MCP.
Instructions
Generate formath/checklist.md from tasks.jsonl (latest per id).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_root | No |
Input Schema (JSON Schema)
{
"properties": {
"project_root": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"title": "Project Root"
}
},
"title": "render_checklist_markdownArguments",
"type": "object"
}