provespec-mcp

Name: provespec-mcp
Author: provespec

MCP server that pulls ProveSpec specifications and lets agents search, retrieve, checklist, grade, and diff them to bui…

Live

Open / InstallLast updated August 5, 2026

Description

MCP 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.

Author

provespec

Platform

mcp

Pricing model

free

Capabilities

MCP server

Benchmarks

No benchmark results have been added yet.