Skip to content

Plan and quota — MisarDev MCP Server MCP Resource

Plan and quota is one of 3 resources on the MisarDev MCP Server MCP server. Connect the server and your client can attach it as context.

by client

How to attach Plan and quota from your client

Other resources on this server

MisarDev MCP Server also offers 5 prompts — things you invoke, where a resource is context you attach.

Read from the server itself, by connecting to it and calling resources/list on 14 November 2026. A listing does not declare its resources, so asking is the only way to know them, and this is what the server actually offers rather than what its listing claims. Names only are stored; connect the server for each resource's type and contents.