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.

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

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

Receipt-gated SDK for AI agents — an agent cannot authorize its own actions or rewrite what it did. No valid receipt, no action.

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

Copy-me examples of the receipt-driven (logless) pattern: require a signed, offline-verifiable receipt before you act.

An LLM knowledge base where every claim is anchored to a source and 'verified' is a receipt over the current text.

Offline verifier for TimeLayer receipts — no network, no key server, no trust in us. Ed25519 quorum + BLAKE3, fail-closed.

Official PHP reference verifier toolkit for evaluating CERTCRYPT artifacts under public rules without relying on live issuer systems.

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.

ER1 — Epistemic Receipt v1: an open, offline-verifiable proof of the constraint-state an autonomous AI agent's action was produced under.

Offline audit chain verifier for Ainfera Routing. Trust no one — verify yourself.

Official command-line interface for CERTCRYPT: unified binary with subcommands for issuing, verifying, domain inspection, operator administration, capacity, and status.

Concept prototype for my senior thesis (CSCE 4999): A Privacy-Preserving Verifiable Credential System

Signed AI-Outcome Receipts (SAOR v0.1): local, signed cost-per-AI-outcome receipts. Spec + producer CLI + offline verifier. Nothing leaves your machine.