Overview
Formal Agent is the AI assistant built into the Control Plane. Ask it questions in plain language. It can explain Formal, look up your configuration and logs, and draft changes for you to approve.Formal Agent is not the Formal Endpoint’s background process, which you start
with
formal agent and which the Linux
and OIDC guides call “the agent”. It is
also unrelated to the
Kubernetes Egress Agent.Open Formal Agent
- Click Agent in the sidebar to open the full page.
- On other pages, type in the Ask Formal Agent box to chat without leaving the page. Press
⌘J(Ctrl+Jon Windows and Linux) to show or hide it. - From Insights, click Open in Formal Agent to investigate a finding.
What It Can Do
Approvals
Formal Agent reads without asking, but it asks before it acts:- Changes: Before it changes configuration, it asks Allow Agent to make this control-plane change? Click Allow or Deny. For drafted code, review the proposal and click Approve Change.
- Screen control: Before it clicks or types on the page, it asks Allow screen control? Choose Allow for one action, Allow for Turn, Allow for Conversation, or Deny.
Next Steps
Recipes
Create common setups from guided templates
Policies
Learn how policies work