VERDICT · AGENT CERTIFICATION

Behavioral Verification Engine

Configure your agent spec. Run 8 formal Z3 proofs. Get a certification report.

AGENT IDENTITY

Domain

LOAD PRESET

AGENT CONFIGURATION

AUTONOMY

Action approval required

FINANCIAL LIMITS

Max position %10%

Halt on drawdown

INPUT / TOOLS

Input sanitization

Tool calls enabled

Untrusted input

Shell access

Tool scope restricted

ALIGNMENT

Proxy metric only

Drift monitor

CONTEXT / MEMORY

Max context tokens8k

System prompt position

Constraint refresh

MULTI-AGENT

Agent count1

Shared state

Audit trail

DATA / OUTPUT

PII access

Output filtering

HTTP tool

∴

Configure your agent spec

Load a preset or adjust the toggles, then run certification.

FM-001 CRITICAL · Medical autonomy

FM-002 CRITICAL · Position limits

FM-003 CRITICAL · Prompt injection

+ 5 more proofs...