quickstart_message
Generate quick instructions for using the Formath MCP server in Cursor, enabling efficient extraction and conversion of mathematical content from TeX papers to Lean code.
Instructions
Return quick instructions for using this server in Cursor.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||