"author:yutayamamoto" matching MCP servers:

• Formath MCP

  yutayamamoto

  -

  license

  B

  quality

  -

  maintenance

  Enables extraction of mathematical content from TeX papers and conversion to Lean code through a structured intermediate representation. Supports project scaffolding, entity management, and task tracking for mathematical formalization workflows.

  Last updated 2025-08-15

  14