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