# provespec-mcp

> provespec-mcp — provespec-mcp. Use this tool when you need to validate software implementations against formal specifications, or evaluate capability lists for compliance. The provespec-mcp server enables agents to search, retrieve, and grade ProveSpec specifications, providing a checklist and diff functionality to ensure accuracy. It accepts ProveSpec specifications as input and outputs evaluation results, making it ideal for building and verifying software against real capability lists.

Canonical page: https://skillsregistry.net/skills/provespec-mcp  
JSON: https://api.skillsregistry.net/v1/skills/provespec-mcp

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

## Trust

- **Trust score (0–1):** 0.69
- **Verification tier:** scanned
- **Last scanned:** 2026-09-03

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** search
- **Updated:** 2026-09-03

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/ppwk5k6a9b)
- **Repository:** <https://github.com/provespec/mcp>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "provespec-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/provespec-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/provespec-mcp/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt