agentic-flow

Production-ready AI agent orchestration platform with 66 specialized agents, 213 MCP tools, ReasoningBank learning memory, and autonomous multi-agent swarms. Built by @ruvnet with Claude Agent SDK, neural networks, memory persistence, GitHub integration,
OpenBrowse Files
aiai-agentsai-orchestrationagenticagentsagent-swarmanthropicanthropic-claudeautomationautonomous-agentsbyzantine-consensusclaudeclaude-agent-sdkclaude-codereasoning-memoryreasoningbankagent-learningmemory-systemconsensus-protocolscoordinationcrdtdevopsdistributed-systemsdockerfastmcpflow-nexusgithubgithub-integrationgoal-planninggoaphive-mindhuggingfacellmllm-orchestrationmachine-learningmcpmcp-servermcp-toolsmemory-persistencemesh-networkmulti-agentmulti-agent-systemsneural-networksonnxonnxruntimeorchestrationpagerankparallel-processingraftruvruvnetsparcsublinear-algorithmsswarmswarm-intelligencetask-orchestrationtypescriptworkflowworkflow-automation

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
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