Agents
Envlet for Zed
Zed's agent panel takes context servers from settings.json. Give it Envlet and run Zed with an identity of its own.
Install
{
"context_servers": {
"envlet": {
"command": "npx",
"args": ["-y", "@envlet/cli", "mcp"]
}
}
}Run with its own identity
envlet run -- zed .Say the word
Move us to Envlet.Set up
- 01
Add the MCP server
Add the entry under context_servers in Zed's settings.json.
- 02
Give it an identity
Create an agent identity for Zed in the dashboard or let the migrate prompt do it. Its token opens one environment, and production starts fully withheld.
- 03
Run it through Envlet
Start Zed with envlet run. It sees the values for its identity and nothing else, and every read shows up under its name.
Questions
- Can Zed read production secrets?
- Not by default. A new agent grant withholds every current and future production variable. You allow specific names when you decide to.
- Do agent identities count toward my plan?
- No. Agents and CI identities are unlimited on every plan. Only humans are members.