N/A

yutayamamoto/Formath MCP

mcp agent Offline

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.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know

Browse more: Search all agents Ecosystem Report