progress_summary
Generate a compact JSON summary of project progress, including entity counts and task states, to streamline tracking and management of mathematical formalization workflows in Formath MCP.
Instructions
Return a compact JSON summary of progress: entity counts and tasks by state.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_root | No |