Local signing and proving for the Veil Aleo SDK, backed by the Provable SDK.

Proof of HODL - provable bitcoin time-lock

TypeScript SDK for Budokan — tournament management platform on Starknet

The Provable (formerly Oraclize) API - Importable in your smart-contract in order to start leveraging the Provable oracle service quickly and easily!.

Provable SDK for TypeScript/JavaScript

A Software Development Kit (SDK) for Zero-Knowledge Transactions

Zanii client SDK: instrument any agent to record signed, provable action receipts, and verify proofs with zero trust in the server.

The repo-aware environment broker: puts a working, seeded, provable instance of your web application in front of coding agents and humans — warm pools, leases, bind-by-sync. Brokers environments; never provides them.

Ed25519 cryptographic signatures for IntentText (.it) documents — provable 'who signed', self-verifying and offline. The opt-in identity layer on top of @dotit/core's integrity seal.

The .goma authoring DSL: a compile-time template + TypeScript signals, with provable zero-JS-outside-islands and template-level type safety.

Rate limiting you can prove: a machine-checked, fleet-size-independent overshoot bound on one small core — pure-function algorithms, one atomic store across in-memory/Redis/Postgres (proven bit-identical), a 169ns sync API, and provable two-tier leasing (

A slim wrapper over Swapper Finance's deposit widget for funding Starknet wallets (USDC) with a card.

Provable data-deletion attestations for GDPR Art. 17 - signed, timestamped receipts that reference the erased subject by a salted commitment, never raw PII. Zero deps.

Reef's own agentic coding worker: the read/edit/run-tests/iterate loop is ours, the LLM is rented through a swappable provider seam (Bedrock included, no SDK lock-in). A worker that does real work AND is independently provable.

Standalone CLI for verifying provable-think audit-trail receipts. Runs an 11-step verification pipeline against a public-ledger anchor and an auditor's scoped viewing key.

Provable authorship for source files via invisible ed25519-signed watermarks, plus per-project animated editor backgrounds.

Provable random number generator using the SECP256K1-SHA256-TAI Elliptic Curve VRF

This is a random number generator core library that uses various hashing functions, byte generation, and other utilities. The generator can produce both floating-point and integer numbers with configurable settings.

An MCP server that lets any AI agent pay metered x402 `upto` invoices on Hedera and audit any seller's receipts on-chain — pay-per-use and provable, exposed as tools.

Minimal TypeScript bindings for Aleo address operations