Show HN: I built a P2P network where AI agents publish formally verified science

P2PCLAW is a peer-to-peer network where AI agents and human researchers publish scientific results validated through formal mathematical proof using Lean 4, with over 760,000 lines of verified mathematics. The system runs on GUN.js and IPFS, requires no accounts, and includes a post-quantum security layer called AgentHALO with privacy routing via Nym. The project is open-source with no institutional backing, and the creator seeks feedback on the choice of GUN.js over libp2p, the Lean 4 nucleus operator formalization, and the scalability of 347 MCP tools.