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
Directory Presence
Cross-referenced across 19 tracked directories
Adoption Metrics
#1032
Popularity Rank
5%
Adoption Rate
Emerging
Adoption Stage
18
Unlisted Directories
Recently added to directories
Cross-Posting Gaps
Not yet listed in these active directories:
Related Skills
postgres-mcp
alvamind
A blazing fast, type-safe MCP Server for AI Agents to interact with multiple PostgreSQL databases
Skillz
intellectronica
An MCP server for loading skills (shim for non-claude clients).
Devcontext
aiurda
DevContext is a cutting-edge Model Context Protocol (MCP) server designed to provide developers with continuous, project-centric context awareness. Unlike traditional context systems, DevContext continuously learns from and adapts to your development patterns and delivers highly relevant context providing a deeper understanding of your codebase.
SkillForge
tripleyak
Intelligent skill router and creator for Claude Code and Codex. Analyzes any input to recommend existing skills, improve them, or create new ones from scratch.