lean-agentic

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic
OpenBrowse Files
leantheorem-proverdependent-typesformal-verificationwasmwebassemblyhash-consingtype-theoryproof-assistantlean4type-checkerlambda-calculuscurry-howardpropositions-as-typesmodel-context-protocolmcpmcp-serverclaude-codeai-assistantllm-toolsarena-allocationzero-copyperformancetypescriptbrowsernodejscli-toolformal-methodsverificationcorrectnessde-bruijnterm-rewritingagentdbvector-searchvector-databaseepisodic-memoryreasoning-bankproof-learningsemantic-searchpattern-recognitionproof-recommendationsai-learninged25519digital-signaturescryptographic-attestationproof-signingagent-identitybyzantine-consensustamper-detectionchain-of-custodynon-repudiationdistributed-trust

@instun/sm2-2023-cryptosuite

SM2 2023 cryptographic suite implementation for Data Integrity, compliant with W3C standards
OpenBrowse Files
sm2sm3cryptographydata-integritydigital-signaturesw3cverifiable-credentials

@alessiofrittoli/crypto-signature

Lightweight TypeScript Signatures library
OpenBrowse Files
nodejssignaturesdigital-signatures

@binlebin/c2pa-ssl

Node.js wrapper for C2PA content authentication using Rust CLI backend
OpenBrowse Files
c2pacontent-authenticationdigital-signaturesprovenanceclirustopensslfirebase-functions

@grexie/signchain-contracts

Grexie Signchain Contracts
OpenBrowse Files
web3blockchainsmart-contractssoliditySignchainEthereumtransaction-signingself-hostedvaultdAppprivate-key-managementsecure-signingAPI-integrationwallet-managementdigital-signaturescryptographyGrexiedecentralized-applicationssmart-contract-libraryon-chain-securitysolidity-librarycryptographic-signing