# provespec-mcp

> provespec-mcp — alankharebov-provespec-mcp. Use this tool when you need to validate implementation capabilities against public specifications, or to identify gaps in your implementation. It fetches specs from the ProveSpec catalog, searches and retrieves relevant specs, and grades implementations against capability checklists. The tool returns parity scores and gap lists, providing actionable insights for improvement.

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

## Description

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.

## Trust

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

## Facts

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

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/n4c08xpa9z)
- **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": "alankharebov-provespec-mcp"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/alankharebov-provespec-mcp` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/alankharebov-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