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.
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.
Execute terminal commands in specific directories to automate development tasks, manage files, and run scripts directly from the MCP Terminal & Git Server interface.
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.