Pedra MCP Server

What the code does

We read the source, 2 d ago · rules 995398eba69f

What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.

# Placeholder so the server boots for introspection; override with a real key.
ENV PEDRA_API_KEY=placeholder

Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.

Connect this server

This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.

claude mcp add pedra-mcp -- npx -y @pedra-ai/mcp

{
  "mcpServers": {
    "pedra-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@pedra-ai/mcp"
      ]
    }
  }
}

[mcp_servers.pedra-mcp]
command = "npx"
args = ["-y", "@pedra-ai/mcp"]

{
  "mcpServers": {
    "pedra-mcp": {
      "command": "npx",
      "args": [
        "-y",
        "@pedra-ai/mcp"
      ]
    }
  }
}

{
  "servers": {
    "pedra-mcp": {
      "type": "stdio",
      "command": "npx",
      "args": [
        "-y",
        "@pedra-ai/mcp"
      ]
    }
  }
}

Optional settings from the registry entry, left out of the block above: PEDRA_API_KEY (Your Pedra API key, from Settings at https://app.pedra.ai. Optional: without it the server starts with pedra_request_access / pedra_check_access, which get the user a key after they confirm by email).