Showing 1-8 of 8 packages
Refactorings and snippets for Lean 4
An interactive display for the Lean 4 theorem prover.
Expert Delegation System for MUSUBIX - 7 Specialized AI Experts with VS Code LM API
Lean 4 formal verification integration for MUSUBIX - EARS-to-Lean conversion, TypeScript specification, and proof generation
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
Mathematical agents with formally proven properties - Banach Fixed-Point Theorem for multi-agent systems
Simple Node.js wrapper for Lean 4 theorem prover
Formal verification skills for Claude Code, OpenCode, and Gemini. Rust -> Lean 4 via Aeneas.