provespec-mcpofficial
A
license-
qualityB
maintenanceMCP server that pulls ProveSpec specifications and lets agents search, retrieve, checklist, grade, and diff them to build software against real capability lists and evaluate implementations.
Last updated
MIT