Skip to content
View danlevans1's full-sized avatar

Highlights

  • Pro

Block or report danlevans1

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 is supported. This note will only be visible to you.
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