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
Cross-referenced across 55 tracked directories
#9049
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
10/25/2025
Created
60
GitHub Stars
9
Forks
1
Open Issues
10/25/2025
Last Commit
Recently added to the ecosystem
benvargas
AI SDK v6 provider for Claude via Claude Agent SDK (use Pro/Max subscription)
packy-anthropic
The official TypeScript library for the Anthropic API
GitHub Actions
Detect agentic coding environments and AI assistant tools