@completium/archetype

Archetype is a general purpose language to develop Smart Contracts on the Tezos blockchain.

v1.0.6 URL: https://unpkg.com/@completium/archetype@1.0.6/dist/index.js

Open Browse Files

archetype tezos smart-contract completium formal-verification

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

aidefence

AI Defence - Production-ready adversarial defense system for AI applications

v2.1.1 URL: https://unpkg.com/aidefence@2.1.1/dist/index.js

Open Browse Files

@runtimeverificationinc/tsk

TypeScript/JavaScript library for K Framework functionality

v0.2.15 URL: https://unpkg.com/@runtimeverificationinc/tsk@0.2.15/dist/cjs/index.cjs

Open Browse Files

k-framework formal-verification ast symbolic-execution typescript javascript

@fairfox/web-ext-verify

Formal verification for message-passing systems using TLA+. Automatically generates TLA+ specifications from TypeScript code.

v0.1.0 URL: https://unpkg.com/@fairfox/web-ext-verify@0.1.0/dist/index.js

Open Browse Files

formal-verification tla-plus tla+model-checking verification chrome-extension web-extension message-passing event-bus websocket concurrent-systems distributed-systems correctness testing typescript cli