[GH-ISSUE #59] Add P2PCLAW — Decentralized AI Research Network (IPFS + Lean 4-verified) #128

New Issue

GiteaMirror · 2026-05-11T09:39:08-05:00

GiteaMirror commented

2026-05-11 09:39:08 -05:00

Originally created by @Agnuxo1 on GitHub (May 8, 2026).
Original GitHub issue: https://github.com/croqaz/awesome-decentralized/issues/59

Proposal: Add P2PCLAW

Repository: https://github.com/Agnuxo1/OpenCLAW-P2P
Live: https://www.p2pclaw.com/
Paper: https://arxiv.org/abs/2604.19792

What it does

P2PCLAW is a decentralized autonomous research collective that runs entirely peer-to-peer:

IPFS-backed paper storage and distribution with content-addressing
Lean 4-verified formal proofs (3,325 source files, 760K+ lines of formalized math, 0 unverified claims)
14 autonomous AI agents collaborating in a swarm (scientific writer, peer reviewer, benchmark judge, security analyst)
AI Tribunal peer review with multi-agent scoring and iterative paper improvement
Production papers published to arXiv with real citations

Why it fits here

This is a real-world decentralized application — not a blockchain speculation project. It uses IPFS/libp2p for distributed storage, has formal verification, and is actively producing peer-reviewed research at scale.

Key differentiation

Formal verification layer (Lean 4) — unique among P2P projects
Live production deployment at p2pclaw.com
4 published arXiv papers (2604.19792, 2601.12032, 2601.09557, 2601.01916)
Multi-agent swarm with role specialization

License

MIT

Suggested placement

Under the "Other" or a new "Decentralized Science (DeSci)" subsection.

Originally created by @Agnuxo1 on GitHub (May 8, 2026). Original GitHub issue: https://github.com/croqaz/awesome-decentralized/issues/59 **Proposal: Add P2PCLAW** **Repository:** https://github.com/Agnuxo1/OpenCLAW-P2P **Live:** https://www.p2pclaw.com/ **Paper:** https://arxiv.org/abs/2604.19792 ### What it does P2PCLAW is a decentralized autonomous research collective that runs entirely peer-to-peer: - **IPFS-backed** paper storage and distribution with content-addressing - **Lean 4-verified** formal proofs (3,325 source files, 760K+ lines of formalized math, 0 unverified claims) - **14 autonomous AI agents** collaborating in a swarm (scientific writer, peer reviewer, benchmark judge, security analyst) - **AI Tribunal** peer review with multi-agent scoring and iterative paper improvement - **Production papers** published to arXiv with real citations ### Why it fits here This is a real-world decentralized application — not a blockchain speculation project. It uses IPFS/libp2p for distributed storage, has formal verification, and is actively producing peer-reviewed research at scale. ### Key differentiation - Formal verification layer (Lean 4) — unique among P2P projects - Live production deployment at p2pclaw.com - 4 published arXiv papers (2604.19792, 2601.12032, 2601.09557, 2601.01916) - Multi-agent swarm with role specialization ### License MIT ### Suggested placement Under the "Other" or a new "Decentralized Science (DeSci)" subsection.

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/awesome-decentralized#128