Formath MCP

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"
}

This server cannot be installed

Other Tools from Formath MCP

Related Tools

render_checklist_markdown
@yutayamamoto/formath-mcp
formalize_tex
@yutayamamoto/formath-mcp
tasks_autogen_from_entities
@yutayamamoto/formath-mcp
tasks_list
@yutayamamoto/formath-mcp
progress_summary
@yutayamamoto/formath-mcp
convert_task_markdown
@grahama1970/claude-code-mcp-enhanced

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/yutayamamoto/formath-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server