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
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": "progress_summaryArguments",
"type": "object"
}