"author:yutayamamoto" matching MCP servers:

• Formath MCP

  yutayamamoto

  A

  security

  -

  license

  -

  quality

  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