# Marten Docs MCP Server

> Use this tool when you need to efficiently retrieve specific Marten documentation with advanced search and filtering capabilities. It solves problems of information overload and slow documentation access by providing a local caching server with progressive narrowing tools. The Marten Docs MCP Server takes in search queries and documentation requests, and outputs relevant, focused results, ideal for use cases where rapid access to specific documentation is crucial.

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

## Description

Local MCP server for focused Marten documentation retrieval with caching, search, and progressive narrowing tools.

## Trust

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

## Facts

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

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/tzgn0zhp1j)
- **Repository:** <https://github.com/stijnVanHorenbeek/marten_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": "stijnvanhorenbeek-marten-mcp"
    }
  }
}
```

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