AdYour product here, seen by people installing AI tools every day

How to install Pedra in Codex

To install Pedra in Codex, run "codex mcp add pedra -- npx -y @pedra-ai/mcp" in your terminal, then type /mcp in Codex to check it.

Built from the published package · server updated 7 days ago

  1. 1

    Run the install command

    In a terminal, run:

    codex mcp add pedra -- npx -y @pedra-ai/mcp
  2. 2

    Check it

    Inside Codex, type /mcp to see the server and its tools.

MCP servers run with your permissions. If Pedra needs an API key, add it under env in the config. Check its README.

Install Pedra in another app

Similar servers

Questions

Does Pedra work in Codex?

Yes. Codex supports mcp servers in the codex cli and ide extension, and Pedra installs with the steps above.

Pedra does not show up in Codex. What now?

Restart Codex fully, check the JSON is valid, and make sure Node.js (for npx) is installed. See common MCP errors and fixes.

Is Pedra safe?

It scores 73 of 100. Review the code before you install it, and only give it the access it needs. Grades and details.