Extensions

Open Extensions from the sidebar. The page says Give your agents the tools and instructions they need. Pick where it goes under Installation target, then filter by Tools (MCP), Skills, Plugins, Integrations, Secrets for agents or Catalog.

Add an MCP server

1. Add it

   Press Add MCP server and choose Local command · stdio or Streamable HTTP.

2. Test it

   Press Test connection to check that the server answers.

3. Turn it on

   Press Enable. Disable, Edit, Rollback and Remove are on the same card.

Which agents load it

On this Mac, Codex and Claude Code load MCP servers from here. For Grok Build, OpenCode and Antigravity the card says MCP isn’t set up for that agent yet.

On a server you reach over SSH, all five load them.

Not supported

OAuth, SSE-only endpoints and the 2026 draft protocol.

Add a skill or a plugin

1. Pick the source

   Press Import a skill or plugin. Choose a Local directory, or a Public Git repository with the exact commit.

2. Look before you install

   Press Inspect source to see what it contains.

3. Install it

   Press Install and enable for target. Uninstall removes it again.

Skills and plugins install for Claude Code accounts on this Mac. Other targets say the installation isn’t there yet.

Integrations and secrets

GitHub, Vercel and secrets for agents live in your Miko account. On the Mac, Integrations and Secrets for agents open the web app, because this Mac app doesn’t hold them yet. See Extensions in the web app.