Libraries Approvals

⌘K

Proof before execution

Your approval controls effects.

CONVERSATION

New conversation

Agent

Connecting…Automatic approvals paused

Unrestricted mode · Native agent tools can bypass Clauz3 proofs and approval.

Technical details

Tutorial · Email approvals

Proofs and approvals are real. The mock sender delivers no email and needs no email account. There is no simulated outbox.

Ask for an email, inspect its guarantees, then approve or reject it. Try “Approve and remember” to see how matching future actions are handled.

Full walkthrough ↗

What would you like to do?

Earlier messages may include text from files or web pages the agent read. To keep that text from steering new or changed tools, automatic approvals are paused for the rest of this conversation, so you approve each action yourself. New conversations aren't affected.

Manage libraries →

Message agent

Enter to send · Shift+Enter for a new line

Libraries

Install libraries into this project and choose which ones new conversations start with. Change a conversation's own libraries from the message box.

Search libraries

WORKSPACE

Files

Hidden files

Read-only

Recent workspaces

Tutorials

Export transcript

Review library