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.
Launch a browser instance to navigate directly to your Vite Dev server URL, enabling real-time code modifications and live updates via Hot Module Replacement.
Extract web content and convert it to clean Markdown for reading documentation, analyzing content, and gathering information from websites while preserving links and structure.
A template MCP server built with Next.js using the Vercel MCP Adapter. Provides a framework for deploying MCP servers with custom tools, prompts, and resources on Vercel with SSE transport support.