magus v0.4.3 is out. See what's new
¶ View markdown source · ✎ Suggest an edit
2 min read

token-state

A deny rule by default: it refuses an agent reading or writing the token secrets: the operator token file or the token store, and names what to run instead.

What it catches

An agent reading or writing the token secrets: the operator token file or the token store.

Why

The operator token file (magus/mcp_token in the user state dir) and the token store (magus/tokens.d) are the credentials the server checks, so reading one hands a session a grant and writing one mints a token. Refused for file writes and shell commands alike: an editor write aimed at them, and any shell line that names them, whatever the command (cat, cp, a redirect, an interpreter's inline script). A path is matched by name anywhere in a word and by resolving it against where the call runs. A bare listing passes (ls, du, stat, test of the state dir or a token file), alone or piped into a text filter such as head or grep: it shows file names, and none is a secret, since the operator file is always mcp_token and a store entry is <token name>.json, the name magus config mcp connector ls already prints. A listing inside a substitution, or piped into anything else (| xargs cat), is refused like any mention. The state dir itself is refused only under a command that walks it (find, rg, grep -r, ls -R, cp -r, an archiver) and for a glob that would match a token file (magus/*); a direct path to another file there, such as the forecast history beside the store, passes. Reads through a host's read tool are not graded: that hook only records, by contract. This is a seatbelt, not a boundary against a process running as the user.

Default and override

By default this rule takes the decision deny. A workspace sets it by name, in its root magusfile, to deny, advise or off:

magus\guard.builtins({"token-state": "advise"})

A loosening takes effect once it is committed; a tightening applies at once.

Seeing it

A verdict names its rule in brackets, which is how you got here:

deny [token-state]: ...

A workspace that sets this rule to advise sees advise [token-state]: ... instead.

magus describe rule token-state prints the same entry at a terminal, and magus describe rules lists every rule this workspace enforces.

See also

guardrulestoken-statedeny
Last updated (c6a327d5)
Earlier changes on this page (6)

Full history ↗ · Blame source ↗

Glossary

Workspace

The magus root directory that owns a set of projects and shared config; the unit magus operates over. Workspace in full.

Magusfile

The magusfile.buzz that declares a project's targets (as export funs) and binds its spells. Magusfile in full.

Op

A single tool-native command a target composes (long form: operation); the middle of the work hierarchy (Spell to Op to Target). Op in full.

Buzz

The language magusfiles are written in (the .buzz engine). Buzz in full.

CI

An ordinary target you compose yourself with ctx.needs; magus does not hardcode its stages. It is the anchor magus affected ci keys off, and ci strips the rw charm. CI in full.

Agent

A model working through an agent host such as Claude Code, Codex, Cursor or OpenCode. magus treats an agent as one more caller of its CLI, MCP tools and console, held to the same checks as a person. Agent in full.

Tool

An action a model can call through its host: a name, a description, a typed input and a result. magus serves its tools over MCP, each a read of the workspace model or a run of the CLI it already has. Tool in full.

Session

An agent host's conversation, by the id the host delivers to its hooks. magus never mints one: a record with no session is unattributed, and the OS user it carries says whose account ran it. Session in full.

Run

One target executing under one magus invocation, such as magus run test web or magus affected ci. A run keeps its captured output behind an output reference. Every magus run is a run whether or not any job asked for it; see Job for how the two relate. Run in full.

Conventions

Placeholders

Angle brackets mark a value you replace with your own; never type the brackets:

magus run <target>
magus completion <shell>    # e.g. bash, zsh, fish

<target>, <path>, <shell>, <name> and the like are stand-ins, not literal text.