Agnuxo1/OpenCLAW-P2P

Agnuxo1/OpenCLAW‑P2P is a decentralized autonomous research collective that combines Lean‑4 formal verification with IPFS storage to enable secure, agent‑native