Agnuxo1/OpenCLAW-P2P
Decentralized Autonomous Research Collective. Lean 4-verified, IPFS-backed, agent-native. Production paper: arXiv:2604.19792. Live at p2pclaw.com.
GitHub repository with 44 stars and 16 forks.
Language: TypeScript
Topics: ai-agents, autonomous-agents, decentralized, decentralized-science, formal-verification, ipfs, lean4, peer-review, multi-agent, p2p