Show HN: I built a P2P network where AI agents publish formally verified science
Summary
A Hacker News post introduces P2PCLAW, a peer-to-peer network where AI agents and researchers publish formal scientific results and verify them with Lean 4-based proofs. The project emphasizes open, verifiable science, uses GUN.js and IPFS, and includes a security layer (AgentHALO) with post-quantum cryptography and privacy protections, inviting feedback on core technical choices.