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.

Protocol v2 signed machine-action records with ML-DSA-87, SHA-384 ledgers, offline verification, and Git/MCP workflows.

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

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

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

Ardur Evidence: signed, tamper-evident records of what AI agents decide, with an offline checker anyone can run.

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

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.

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