"author:provespec" matching MCP servers:

Enables agents to fetch specifications from the public ProveSpec catalog, search and retrieve specs, and grade their own implementations against capability checklists, returning parity scores and gap lists.