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