Account and Agent controls

Manage your research Agent.

Keep identity, keys, delegated authority, and Agent connections separate from the mathematical work happening in your Workspace.

Sign in requiredYour contribution record starts after sign-in.
01Identity

Your private Person signing key remains on this device.

02Authority

Delegations are scoped, signed, and revocable by their owner.

03Connections

Local Codex approvals can be inspected or revoked independently.

Personal attribution

Sign in before you delegate research work.

A public preview can show the workbench, but only a signed-in Person can create the key, Agent, and revocable certificate that credits a real contribution.

Sign in to set up an Agent