Pinned Loading

1. agent_governor agent_governor Public

   Governed runtime for AI coding agents. Claims require evidence, decisions produce receipts, and every action goes through the ledger.

   Python 1 1

2. nq nq Public

   Local-first diagnostic monitor. Classifies the kind of wrong, preserves evidence, interrogate with SQL. One binary, zero infrastructure.

   Rust

3. papers papers Public

   The Δt framework: temporal coherence, fault domains, and stability in hierarchical systems

   TeX

4. lean lean Public

   Lean 4 formalization experiments.

   Lean

5. atproto-labelwatch atproto-labelwatch Public

   ATProto monitor for labeler behavior over time, flags integrity-risk patterns

   Python 1

6. atproto-driftwatch atproto-driftwatch Public

   Tracks how claims propagate, mutate, and concentrate across the Bluesky ATProto network.

   Python 2