Loading content…
← All Products
AgentAssertLIVE
Behavioral Contracts for AI Agents
AgentAssert brings formal behavioral contracts to AI agents. Define preconditions, postconditions, and invariants using a domain-specific language. The system detects behavioral drift using Jensen-Shannon divergence and automatically triggers recovery re-prompting when agents violate their contracts.
Find a workflow for your task
12 contract templates and 9 Python examples for runtime behavioral checks. Connect your observation fields, adapt the contract and inspect violations.
Browse contracts and examples →Try one observable result
Check an approval signal before your application proceeds with a protected action. The application supplies the signal and invokes the check.
python -m pip install "agentassert-abc[yaml,math]"The synthetic two-state proof returned no hard violations for true and raised ContractBreachError for false. It is not a PII classifier or a guarantee for every host action. Research results retain their paper assumptions.
Research, scope and assumptions
10
Domains Validated
7
Models Tested
18K
Sessions Analyzed
6
Pillars
Features
ContractSpec DSL
A domain-specific language for defining behavioral contracts: preconditions, postconditions, invariants.
Drift Detection
Jensen-Shannon divergence monitoring. Detect when agent behavior deviates from contracted norms.
Recovery Re-Prompting
Automatic intervention when contracts are violated. Re-prompt agents back to compliant behavior.
(p,δ,k)-Satisfaction
Probabilistic contract satisfaction with confidence bounds. Statistical guarantees for stochastic agents.
OU Drift Dynamics
Ornstein-Uhlenbeck process modeling of behavioral drift with Lyapunov stability proofs.
Compositional Guarantees
Contracts compose across multi-agent systems. Verify pipeline-level compliance from component contracts.
Use Cases
Compliance verification for enterprise agents
Multi-agent behavioral contracts
Drift detection in production agents
Regulatory compliance (EU AI Act)
Research Paper
AgentAssert: Behavioral Contracts for AI Agent Compliance
Varun Pratap Bhardwaj, 2026
Read on arXiv →Licensed under AGPL-3.0