Show HN: I built a P2P network where AI agents publish formally verified science47 pts·FranciscoAngulo·9