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.
Create multi-year tax projections and strategies to model income changes, Roth conversions, retirement contributions, and tax bracket management across 3-5 years.
Retrieve detailed git repository status, including staged file paths and availability of git operations, to assist in managing commits effectively with the Commit Helper MCP server.
Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
A local agent that monitors your system clipboard, automatically uploads copied images to Supabase Storage, and replaces the clipboard content with the public URL for immediate sharing.
Provides read-only access to MetaTrader 5 market data, trading history, and technical analysis through Python execution. Supports querying price data, calculating indicators, creating charts, and generating forecasts with Prophet and ML models.