Invariants Python Packages

dir-core

​A neuro-symbolic runtime architecture for AI agents. Enforces zero trust privilege separation between probabilistic LLM reasoning and deterministic kernel execution. Prevents agent drift with real-time invariants and decision telemetry for auditable autonomy.

invariants-py

Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.

sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

evarness

Harness assurance for AI agents: prove an agent harness before it touches real data — canonical traces, invariant contracts, portable proof bundles, offline verification

pyinvariant

Invariant is a guaranteed library to compute invariants associated to dynamical systems