Skip to content
View danlevans1's full-sized avatar

Highlights

  • Pro

Block or report danlevans1

Report abuse

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

Report abuse

Pinned Loading

  1. pfc-authority-flip-demo pfc-authority-flip-demo Public

    PFC separates the time authority from the signer so a compromised enforcement point can't silently backdate its own approvals — and makes replay and reordering detectable through monotonic, hash-ch…

    Python

  2. pfc-connector-gateway-proof pfc-connector-gateway-proof Public

    PFC delegation chain governing MCP connector calls, pre-effect gating, scope containment, mid-run revocation that fails closed, signed Ed25519 receipts. Reference implementation, v0.13.

    TypeScript

  3. pfc-execution-boundary-proof pfc-execution-boundary-proof Public

    Public proof surface for PFC-style execution-boundary governance and signed runtime admission receipts.

    Python

  4. pfc-mcp-authority-gap pfc-mcp-authority-gap Public

    Execution-Time Authority Integrity (ETAI) for MCP: a runnable demonstration that an agent can act on revoked authority under stateless OAuth, and a verifiable-authority layer whose receipts an inde…

    Python

  5. pfc-verifier pfc-verifier Public

    Public verification service for PFC (Prime Form Calculus) receipts, authority chains, and execution-boundary audit records.

    Python