Skip to content
@dekrops

dekrops

Popular repositories Loading

  1. wvp wvp Public

    Work Verification Protocol: specifications and conformance vectors (draft)

    Lean 1

  2. verified-cli verified-cli Public

    Git-like tools for verifiable work: check portable Work Proofs offline, under keys you choose to trust. No account, server or network. Rust, Apache-2.0.

    Rust

  3. verified-python verified-python Public

    Python SDK for the Work Verification Protocol (WVP): verifiable agent work, checked offline. Developer preview.

    Python

  4. verified-typescript verified-typescript Public

    The TypeScript SDK for the Work Verification Protocol: produce and independently verify portable, signed accounts of agent work.

    TypeScript

  5. invoice-reconciliation invoice-reconciliation Public

    Invoice-to-PO reconciliation in exact decimal money. Reference task of a Verified Playground experiment.

    Python

  6. verified-acceptance verified-acceptance Public

    Runs Verified's acceptance suites against coding agents' pull requests in disposable GitHub runners. Answers only; expectations stay with Verified.

    Python

Repositories

Showing 7 of 7 repositories
  • verified-python Public

    Python SDK for the Work Verification Protocol (WVP): verifiable agent work, checked offline. Developer preview.

    dekrops/verified-python's past year of commit activity
    Python 0 Apache-2.0 0 2 10 Updated Oct 31, 2026
  • verified-cli Public

    Git-like tools for verifiable work: check portable Work Proofs offline, under keys you choose to trust. No account, server or network. Rust, Apache-2.0.

    dekrops/verified-cli's past year of commit activity
    Rust 0 Apache-2.0 0 3 1 Updated Oct 31, 2026
  • wvp Public

    Work Verification Protocol: specifications and conformance vectors (draft)

    dekrops/wvp's past year of commit activity
    Lean 1 0 13 2 Updated Oct 29, 2026
  • verified-typescript Public

    The TypeScript SDK for the Work Verification Protocol: produce and independently verify portable, signed accounts of agent work.

    dekrops/verified-typescript's past year of commit activity
    TypeScript 0 Apache-2.0 0 0 2 Updated Oct 25, 2026
  • iso-week Public

    Calendar helpers for a scheduling tool's export (a Verified demo target)

    dekrops/iso-week's past year of commit activity
    TypeScript 0 0 1 3 Updated Oct 24, 2026
  • invoice-reconciliation Public

    Invoice-to-PO reconciliation in exact decimal money. Reference task of a Verified Playground experiment.

    dekrops/invoice-reconciliation's past year of commit activity
    Python 0 MIT 0 1 4 Updated Oct 24, 2026
  • verified-acceptance Public

    Runs Verified's acceptance suites against coding agents' pull requests in disposable GitHub runners. Answers only; expectations stay with Verified.

    dekrops/verified-acceptance's past year of commit activity
    Python 0 MIT 0 0 0 Updated Oct 24, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…