A Provably fair random hash generator which can be plugged into [random-js](https://www.npmjs.com/package/random-js).
Cryptographically provable database
Provable proof envelope format for TypeScript/JavaScript
Shared types, utilities, and headless hooks for Provable Games metagame SDKs
Dojo SDK: Build onchain and provable apps faster
Dojo SDK: Build onchain and provable apps faster
Dojo SDK: Build onchain and provable apps faster
Provable SDK for TypeScript/JavaScript
Provable SDK for TypeScript/JavaScript
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.
Zero Knowledge Provable JSON
Cryptographically provable database
Reusable proof UIs for Provable/Kayros
Reusable proof UIs for Provable/Kayros
MCP server for atrib. Lets agents query their own provable past from the local signed-record mirror with per-record signature verification.
Domain ownership verification using Provable API
TypeScript SDK for Denshokan — query game tokens via REST API and Starknet RPC with automatic fallback
The Provable (formerly Oraclize) API - Importable in your smart-contract in order to start leveraging the Provable oracle service quickly and easily!.
TypeScript SDK for Budokan — tournament management platform on Starknet
A Software Development Kit (SDK) for Zero-Knowledge Transactions
Proof of HODL - provable bitcoin time-lock
Drop-in cryptographic audit trail for Cloudflare Project Think agents. Every lifecycle hook becomes a tamper-evident, hash-chained receipt anchored to a public ledger no operator controls. Selective disclosure via scoped viewing keys.
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 (
Provable random number generator using the SECP256K1-SHA256-TAI Elliptic Curve VRF
Provable proof envelope format for Rust
Provable SDK for Rust
Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
CLI for provable-contracts — validate, scaffold, verify, status, audit
Provably fair Texas Hold'em poker engine with cryptographic verification
Proc macros for compile-time contract enforcement — #[contract] attribute
DEPRECATED: Install 'ruchy' package instead. This package is kept for backward compatibility only.
A minimal, security-first universal language for provable computation
CLI tool and library for verifying provably fair games (baccarat, etc.).
The utility for verification of Bustabit games.
Ranked Spreadsheet Format - Deterministic column ordering based on cardinality
Next-generation ML framework in pure Rust — `cargo install aprender` for the `apr` CLI
A zero-dependency client for PUID (puid.dev): generate provably-collision-free identifiers, decode them, check quota, and authenticate with an API key or an OAuth2 bearer token.
Pure Ruby implementation of the Balloon Hashing algorithm (Boneh, Corrigan-Gibbs, Schechter 2016). Supports SHA-256, SHA-512, and BLAKE2b. Memory-hard with provable protection against sequential attacks.