Metadata-Version: 2.4
Name: agentassert-abc
Version: 0.0.1
Summary: Formal behavioral specification and runtime enforcement for autonomous AI agents. The AgentAssert framework.
Project-URL: Homepage, https://agentassert.com
Project-URL: Documentation, https://agentassert.com/docs
Project-URL: Repository, https://github.com/qualixar/agent-assert
Project-URL: Paper, https://arxiv.org/abs/2602.22302
Author: Varun Pratap Bhardwaj
License-Expression: Elastic-2.0
Keywords: agent-safety,agentassert,ai-agents,behavioral-contracts,design-by-contract,drift-detection,formal-specification,llm-guardrails,qualixar,runtime-enforcement
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Intended Audience :: Science/Research
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Classifier: Programming Language :: Python :: 3.14
Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
Classifier: Topic :: Software Development :: Quality Assurance
Classifier: Topic :: Software Development :: Testing
Classifier: Typing :: Typed
Requires-Python: >=3.12
Description-Content-Type: text/markdown

# AgentAssert

**Formal Behavioral Specification and Runtime Enforcement for Autonomous AI Agents**

AgentAssert implements Agent Behavioral Contracts (ABC) -- the only framework combining all 6 pillars of rigorous agent governance:

1. **ContractSpec DSL** -- YAML-based behavioral specification with 12 operators
2. **Hard/Soft Constraints** -- Formal separation with graduated enforcement
3. **Drift Detection** -- Jensen-Shannon Divergence for distributional analysis
4. **(p, delta, k)-Satisfaction** -- Probabilistic compliance guarantees
5. **Compositional Proofs** -- Safety bounds for multi-agent pipelines
6. **Mathematical Stability** -- Ornstein-Uhlenbeck dynamics with Lyapunov proof

## Status

v2 is under active development. Full release coming July 2026.

## Links

- **Paper:** [arXiv:2602.22302](https://arxiv.org/abs/2602.22302)
- **Website:** [agentassert.com](https://agentassert.com)
- **Part of:** [Qualixar](https://qualixar.com) -- AI Agent Reliability Engineering
