Skip to main content
Glama
97,591 tools. Last updated 2026-04-01 17:57
  • Retrieve the current cursor position in the terminal to monitor or control terminal-based applications programmatically.
    MIT
  • 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 new terminal windows or access existing ones by name for direct user interaction and command execution. Specify a working directory to control where commands run.

Interested in MCP?

Join the MCP community for support and updates.

RedditDiscord

Matching MCP servers