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

v0.3.2 URL: https://unpkg.com/lean-agentic@0.3.2/dist/index.js

Open Browse Files

@alessiofrittoli/crypto-signature

Lightweight TypeScript Signatures library

v2.3.0 URL: https://unpkg.com/@alessiofrittoli/crypto-signature@2.3.0/dist/index.js

Open Browse Files

nodejs signatures digital-signatures

@binlebin/c2pa-ssl

Node.js wrapper for C2PA content authentication using Rust CLI backend

v1.1.4 URL: https://unpkg.com/@binlebin/c2pa-ssl@1.1.4/index.js

Open Browse Files

c2pa content-authentication digital-signatures provenance cli rust openssl firebase-functions

@peculiar/pdf-core

Core functionality library for PDF document processing and manipulation

v1.17.1 URL: https://unpkg.com/@peculiar/pdf-core@1.17.1/build/peculiar.pdf.core.js

Open Browse Files

pdf pdf-library pdf-manipulation pdf-generation pdf-parsing encryption digital-signatures incremental-updates xref pdf-objects