offline-verification

Verify that the PowerPoint you are about to deliver is exactly the PPTX that passed QA—locally, offline, and with tamper-evident evidence.

TinyPKI is a lightweight C11/OpenSSL PKI core for constrained IoT and edge networks, combining ECQV implicit certificates, sparse Merkle revocation proofs, MMR issuance transparency, CA-signed checkpoints, t-of-n edge witnesses, and SM2/SM3/SM4 sessions.

Fail-closed execution firewall for AI agents: quarantine MCP tools, proxy OpenAI-compatible requests, emit signed receipts, and verify EvidencePacks offline.

Portable signed records for automated interactions.

Open evidence profile for MCP tool actions. Enforce configured tool-call policies and record decisions and observations in offline-verifiable bundles. Optional Linux kernel controls. No hosted backend required.

Open specification and reference verifiers for Seal records: ATTESTATION-v1 for AI model-call decisions, ACTION-v1 for agent actions. Ed25519, canonical JSON, checked offline against a published key.

MCP server for offline verification of signed artifacts. Receipts, manifests, bundles. Apache-2.0.

Banking-optimized signature verification with Siamese CNN - Contrastive learning for forgery detection with high recall for fraud prevention

VELLA = Verifiable Evidence Ledger & Logic Authority; deterministic pre-execution authorization and signed proof for AI agents and automated workflows.

Append-only trust layer for AI agent actions with offline verification, tamper detection, and portable proof bundles.

Offline transaction verifier for Safe multisig wallets with ERC-7730 clear signing support

Sign & verify messages from WhatsApp, Telegram, Instagram, etc. using a pre-shared password & HMAC‑SHA256. Open source Android app built with Jetpack Compose

Offline Integrity verification for OpaqueInfra evidence bundles

Self-hostable, single-binary license & entitlement server for the JVM. Ed25519-signed license tokens verified offline against an embedded public key — plus online activation, seat limits, heartbeats, and revocation. Consumes billing webhooks (Stripe); never handles money. AGPL-3.0 server, Apache-2.0 SDK.

GitHub Action that signs a citation ledger for a repository and verifies it offline. Ed25519, no network at verify time.

Owner-governed AI business platform for deploying and operating a business — deploy an AI office while authority, business memory and the final decision stay with the owner. Prerelease, not generally available.

Python SDK for Tersign, the evidence layer for the agent economy — offline verification of counter-signed receipts, hash chains, chain commitments and frozen evidence bundles. Zero dependencies, standard library only. PyPI: tersign

Verified runs of agentic benchmarks: every tool call through the gateway under a maintainer-signed standard, graded by the harness, signed, checkable offline

Veridict — the verdict that survived verification. An append-only, hash-chained audit standard for AI-generated work: signed evidence, blind juries, human risk ownership.

Open-source, no-code ecommerce launcher and developer kernel for proof-native artifacts. Clone, configure, and launch your own storefront powered by the Receiz SDK, MCP server, offline verification, ownership receipts, and programmable commerce objects.