devibe

Intelligent repository cleanup with auto mode, AI learning, markdown consolidation, auto-consolidate workflow, context-aware classification, and cost optimization
v3.1.1 URL: https://unpkg.com/devibe@3.1.1/dist/index.js
OpenBrowse Files
cleanuprepositorymonorepotest-organizationbest-practicessecret-detectionrule-packdevtoolsaiauto-modeautomationai-learningmachine-learningintelligent-classificationcost-optimizationcontext-awaretypescriptnodejsreactpythongojavadotnet

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
v0.3.2 URL: https://unpkg.com/lean-agentic@0.3.2/dist/index.js
OpenBrowse Files
leantheorem-proverdependent-typesformal-verificationwasmwebassemblyhash-consingtype-theoryproof-assistantlean4type-checkerlambda-calculuscurry-howardpropositions-as-typesmodel-context-protocolmcpmcp-serverclaude-codeai-assistantllm-toolsarena-allocationzero-copyperformancetypescriptbrowsernodejscli-toolformal-methodsverificationcorrectnessde-bruijnterm-rewritingagentdbvector-searchvector-databaseepisodic-memoryreasoning-bankproof-learningsemantic-searchpattern-recognitionproof-recommendationsai-learninged25519digital-signaturescryptographic-attestationproof-signingagent-identitybyzantine-consensustamper-detectionchain-of-custodynon-repudiationdistributed-trust

@creating-cat/ai-assimilation-mcp

AI Assimilation MCP Server - Enable AI experience sharing and assimilation through structured data export and human-like learning
v0.1.3 URL: https://unpkg.com/@creating-cat/ai-assimilation-mcp@0.1.3/dist/index.js
OpenBrowse Files
mcpaiassimilationexperience-sharingmodel-context-protocolai-learningknowledge-transferpersona-separationstructured-datatypescript