For designing the trusted boundary an agent acts through — effects, contracts, fluents — when no trusted layer exists yet for a domain. Root-of-trust role: if this layer is wrong, every proof against it is wrong. Covers effects.py with deal/clauz3 markers, contracts via the relation algebra, optional fluents for stateful properties, and packaging as a clauz3-install-able library.
Plugin clauz3-authoring from marketplace clauz3 in normalform-ai/clauz3. Commands read from the repo's manifest — 6 days ago.
clauz3-authoringDesign or extend a Clauz3 trusted library when agents need capabilities or safety contracts that existing libraries do not provide. Define trusted effects, typed results, preconditions, contracts, shared events, runtime obligations, tests, and installable metadata. Use for library authoring, not for
clauz3-exploringUse when the user asks for hands-on, open-ended testing of clauz3 by driving an independent Claude Code agent through real tasks — picking a target repo, issuing prompts, watching what the agent submits, deciding approvals as the user-proxy, escalating to adversarial cases, and reporting findings. T
clauz3Use when an agent needs to act in the real world — send mail, edit a file, fetch a URL, move money, run a lab step, modify any external system — and finds that no direct tool exists for it. If the project ships a clauz3 trusted layer, that IS the tool, but reached only by writing a small Python prog
For agents that need to do real-world things — send mail, edit files, fetch URLs, move money, run a lab step — in a project where clauz3 is the only outlet to side effects. Covers writing the small Python program against trusted modules, attaching guarantees the user will review, and passing through clauz3 prove / clauz3 run.
3 skills
For acting as the user-proxy while driving an independent Claude Code (or other agent) through clauz3 tasks adaptively — picking prompts, watching what the agent submits, deciding approvals via the approval service's REST API, escalating to adversarial cases, and surfacing design issues. Open-ended counterpart to the deterministic e2e driver.
3 skills
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.