The first open-source Neurosymbolic AI Verification Layer. QWED prevents hallucinations in high-stakes LLM applications (Math, Finance, Logic) by using deterministic engines (SymPy, Z3, AST) to ver...
Save is a cross-platform FLOSS secure mobile archiving app that verifies media with Proofmode and sends it securely over Tor and TLS to ethical FLOSS backends including, the Internet Archive, WebDa...
The first open-source Neurosymbolic AI Verification Layer. QWED prevents hallucinations in high-stakes LLM applications (Math, Finance, Logic) by using deterministic engines (SymPy, Z3, AST) to ver...
An open standard and zero-dependency reference toolkit that produces an authorization receipt: offline-verifiable proof that a named human approved an exact, irreversible AI-agent action before it ...
Save is a cross-platform FLOSS secure mobile archiving app that verifies media with Proofmode and sends it securely over Tor and TLS to ethical FLOSS backends including, the Internet Archive, WebDa...
Framework-agnostic EUDI Wallet verification protocol engine. Session management, pluggable storage, strategy-pattern operating modes, EventEmitter architecture. The foundational library for EU digi...
Redtail is an open-source verification layer for physical-asset provenance. The public repository contains the verification-relevant core: documented Base L2 anchoring format, canonical hashing uti...
Rahul Dass
OpenArchive