Skip to content
View unpingable's full-sized avatar
😐
😐

Block or report unpingable

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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

  2. nq nq Public

    A local-first diagnostic monitor that classifies the kind of wrong, preserves evidence, and lets operators interrogate it with SQL.

    Rust

  3. papers papers Public

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

    TeX

  4. atproto-labelwatch atproto-labelwatch Public

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

    Python 1

  5. nlai nlai Public

    Evidence-gated claims, continuity anchors, and deterministic receipts for agent workflows. Language is a proposal, not an authority.

    Python

  6. receipt_kernel receipt_kernel Public

    Append-only, hash-chained run ledger with invariant evaluation. Zero dependencies.

    Python