{"repo":"ayushmi/agentstate","free":true,"listed":false,"github":"https://github.com/ayushmi/agentstate","clone":"git clone https://github.com/ayushmi/agentstate.git","description":"Cloud-native, durable state for AI agents: WAL+snapshots, watch streams, idempotency, leases, TLS/mTLS, capability tokens, Python/TS SDKs, Helm.","language":"Rust","stars":56,"topics":["ai-agents","change-data-capture","database","grpc","persistence","crdt","grafana","helm-chart","kubernetes","observability"],"license":"Apache-2.0","category":"analytics","readme_excerpt":"AgentState v1.2.0 Persistent, formally verifiable state management for AI agents AgentState gives AI agents a persistent, queryable home for their state — with cryptographic behavioral proof built in from the ground up. Think Firebase for AI agents, with the auditability of a formal system. What makes it different: - Every write is hash-chained — tampering is cryptographically detectable - Runtime invariants reject bad state before it's stored - Temporal (LTL) properties checked over the full WAL history - Claims your agents make can be formally proved, not just logged --- Features - Real-time state — subscribe to agent state changes over SSE or gRPC - Rich querying — filter by tags, JSONPath, time-travel to past states - Crash-safe persistence — WAL + snapshots, 1,400+ ops/sec - Tamper-evident — blake3 hash chain across every commit - Runtime invariants — reject invalid writes before they happen - Temporal verification — LTL property checking over WAL traces, in CI - Claim verification — formally prove what your agents assert, not just observe it - Domain packs — pre-built formal reasoning for healthcare, finance, tax, legal - Challenge protocol — anyone can formally contest any proof - Language agnostic — HTTP/gRPC + Python, TypeScript, Go SDKs --- Quick Start --- Formal Verifiability AgentState is the only open-source AI agent state store with four complementary layers of formal verification. Layer 1 — Tamper-Evident Hash Chain Every write extends a blake3 chain. Each comm","default_branch":null,"files":null,"tree":[],"storefront":"/r/ayushmi","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/ayushmi/agentstate/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}