Big News: Socket raises $60M Series C at a $1B valuation to secure software supply chains for AI-driven development.Announcement →

agentassert-abc

Package Overview

Advanced tools

Install Socket

Detect and block malicious and high-risk dependencies

agentassert-abc

Formal behavioral specification and runtime enforcement for AI agents. Agent Behavioral Contracts (ABC).

latest

Version: 0.3.0

Version published: 3 weeks ago

Weekly downloads: 23

Maintainers: 1

Weekly downloads

Created: 2 months ago

AgentAssert

Formal Behavioral Contracts for AI Agents

The TypeScript SDK is coming Q3 2026. The Python package is available now.

Python Package (Available Now)

pip install agentassert-abc[yaml,math]

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

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

Links

Paper: arXiv:2602.22302
Python Package: PyPI: agentassert-abc
GitHub: qualixar/agentassert-abc
Documentation: agentassert.com

License

AGPL-3.0

Part of Qualixar — AI Agent Reliability Engineering A research initiative by Varun Pratap Bhardwaj

Keywords

behavioral-contracts

drift-detection

FAQs

What is agentassert-abc?

Is agentassert-abc popular?

Is agentassert-abc well maintained?

Package last updated on 24 May 2026

Did you know?

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Related posts