Provability Fabric – From Guardrails to Guarantees for AI Agents

Show HN: Provability Fabric – Proof-carrying behavior for AI agents

Based, Provability Fabric – From Guardrails to Guarantees for AI Agents works in show hn launch.

Profile

Show HN: Provability Fabric — Proof-carrying behavior for AI agentshttps://mateopetel.substack.com/p/provability-fabric-the-saf...Most “AI safety” today is vibes. Prompts, heuristics, and dashboards don’t scale when agents can call tools, stream outputs, or mutate state.Provability Fabric introduces a different contract:Proof-carrying bundles (PAB-1.0): specs, Lean proofs, SBOM, and provenance in one signed packageActionDSL → Lean 4: policies compile into proof obligations and runtime monitorsComplete mediation: every effect passes through a Rust sidecar enforcing the same semantics the proofs assumeEgress certificates: every emission leaves with a signed verdict — pass, fail, or inapplicabl

Within the show hn launch space, the company focuses on its core offering rather than a broad product line.

The company is listed at the Show HN launch stage of development.

Website: mateopetel.substack.com/p/provability-fabric-the-saf...Most