# tezos-mcp

> tezos-mcp — dmichael-tezos-mcp. Use this tool when you need to search and understand Tezos protocol specifications, TZIPs, and Octez source code. It solves problems of information discovery and knowledge acquisition for developers and experts working with Tezos, providing semantic search and expert guidance. The tool takes in search queries as input and outputs relevant results and guidance, ideal for use cases where in-depth knowledge of Tezos topics is required.

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

## Description

RAG-powered MCP server that indexes and searches Tezos protocol specs, TZIPs, and Octez source code, enabling semantic search and expert guidance on Tezos topics.

## Trust

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

## Facts

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

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/pnhb4rkpuy)
- **Repository:** <https://github.com/dmichael/tezos-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": "dmichael-tezos-mcp"
    }
  }
}
```

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