Execution Validator Kit
Validate every decision against formal specifications before and during execution.
Block invalid decisions
0/5 validated
Configuration
Total
5
Passed
0
Blocked
0
Execution Validations
allocate_budget($5000, marketing)
spec: spend <= budget.remaining
hire_contractor(external_dev)
spec: requires_approval(role.manager)
deploy_to_production(v2.1.0)
spec: tests.passed && review.approved
access_user_data(user_123)
spec: has_consent && purpose == "service"
terminate_process(worker_42)
spec: graceful_shutdown.enabled
Integration Code
import { createExecutionValidator } from 'agent-tools-kit/verification'
const validator = createExecutionValidator({ depth: 'full' })
agent.use(validator.preExecutionCheck())