Formath MCP

workflow_formalize_all

Formalize all LaTeX files under a specified project root, generating structured JSON outputs. Supports custom module naming for Lean code conversion, streamlining mathematical content extraction workflows.

Instructions

Formalize all *.tex under <project_root>/tex.

naming: "by_file" → module name from file stem (capitalized), otherwise use "Main". Returns a JSON array of results per file.

Input Schema

Name	Required	Description	Default
`naming`	No		by_file
`project_root`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "naming": {
      "default": "by_file",
      "title": "Naming",
      "type": "string"
    },
    "project_root": {
      "title": "Project Root",
      "type": "string"
    }
  },
  "required": [
    "project_root"
  ],
  "title": "workflow_formalize_allArguments",
  "type": "object"
}

Install Server

HTTP connection URL

Other Tools from Formath MCP

Related Tools

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