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
Install
# expose as webhook: npx -y lean-agenticnpx -y lean-agenticnpx -y lean-agenticnpx -y lean-agenticnpx -y lean-agenticStacks
Tags
Related skills
Tavily
Search the web with fast, accurate results optimized for AI. Get clean, structured answers with source URLs and relevance scoring.
Docfork
Search and retrieve documentation from GitHub repositories and the web to find technical answers quickly. Transform complex web pages into clean markdown for efficient reading and analysis. Simplify library research by using specific repository identifiers for targeted documentat
Read Website Fast
Markdown Content Preprocessor - Fetch web pages, extract content, convert to clean Markdown