check_comments
includeResolved? (default false)
How to use it
check_comments is exposed by the MagicTeX MCP MCP server. Add the server to your MCP client (Claude Desktop, Cursor, Windsurf and others), and the check_comments tool becomes available to the model automatically. See the full listing for setup details and every tool this server provides.
FULL MAGICTEX MCP LISTING