render_entities_markdown
Generates a Markdown file (entities.md) from a JSONL file (entities.jsonl) to organize and manage mathematical entities for project formalization workflows within Formath MCP.
Instructions
Regenerate formath/entities.md from formath/entities.jsonl for a project.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| project_root | No |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |