"author:AlanKharebov" matching MCP servers:

• provespec-mcp

  provespec

  A

  license

  -

  quality

  B

  maintenance

  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.

  Last updated 2026-08-03

  MIT