agentdb
AgentDB - Frontier Memory Features with MCP Integration and Direct Vector Search: Causal reasoning, reflexion memory, skill library, automated learning, and raw vector similarity queries. 150x faster vector search. Full Claude Desktop support via Model Co
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
aidefence
AI Defence - Production-ready adversarial defense system for AI applications
aidefense
AI Defense - Wrapper for aidefence (American spelling). Production-ready adversarial defense system for AI applications with real-time threat detection, behavioral analysis, and formal verification.