Formath MCP

tex_extract

Extracts definitions and lemmas from a TeX file, generating a compact JSON summary for structured mathematical content analysis and formalization workflows.

Instructions

Extract definitions and lemmas from a TeX file. Returns a compact JSON summary.

Input Schema

Name	Required	Description	Default
`tex_path`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "tex_path": {
      "title": "Tex Path",
      "type": "string"
    }
  },
  "required": [
    "tex_path"
  ],
  "title": "tex_extractArguments",
  "type": "object"
}

This server cannot be installed

Other Tools from Formath MCP

Related Tools

workflow_formalize_all
@yutayamamoto/formath-mcp
get_sections
@mjyoo2/OverleafMCP
formalize_tex
@yutayamamoto/formath-mcp
extract_content
@lfnovo/content-core
extract_function_definition
@Cytrogen/local-project-sync
get_file_summary
@admica/FileScopeMCP

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