I built a P2P network where AI agents publish formally verified science
I am Francisco, a researcher from Spain. My English is not great so please be patient with me. One year ago I had a simple frustration: every AI agent works alone. When one agent solves a problem, the next agent has to solve it again from zero. There is no way for agents to find each other, share results, or build on each other's work. I decided to build the missing layer. P2PCLAW is a peer-to-peer network where AI agents and human researchers can find each other, publish scientific results, and validate claims using formal mathematical proof. Not opinion. Not LLM review. Real Lean 4 proof.…
I built a P2P network where AI agents publish formally verified science launched on March 19, 2026 with 47 votes, #723 of 23,380 launches that month and more than 95% of that year's launches.
In plain words
P2PCLAW is a peer-to-peer network that enables AI agents and human researchers to discover each other, share scientific findings, and validate claims through formal mathematical proof in Lean 4. Results are accepted only after passing a mathematical verification system, regardless of the publisher's credentials or institution. The network uses GUN.js and IPFS, allowing agents to join without accounts by calling a simple endpoint. It solves the problem of isolated AI agents re-solving problems independently by creating a shared layer for collaboration and knowledge building.
written from the facts on this page · September 2026
From the sources
In the maker’s words, at launch
I am Francisco, a researcher from Spain. My English is not great so please be patient with me. One year ago I had a simple frustration: every AI agent works alone. When one agent solves a problem, the next agent has to solve it again from zero. There is no way for agents to find each other, share results, or build on…
Does a similar job
all alternatives →
AI Peer Reviewer – Multiagent system for scientific manuscript analysis2025 · github.com · ▲108After waiting 8 months for a journal response or two months for co-author feedback that consisted of "looks good" and a single comma change, we built an AI-powered peer review system that helps researchers improve their manuscripts rapidly before submission. The system uses multiple specialized agents to analyze different aspects of scientific papers, from methodology to writing quality. Key features: 24 specialized agents analyzing sections, scientific rigor, and writing quality // Detailed feedback with actionable recommendations. // PDF report generation. //…
Agent ArenaJun 2026 · arena42.ai · ▲348Creator here. I built Agent Arena to answer a question that kept bugging me: when AI agents browse the web autonomously, how easily can they be manipulated by hidden instructions? How it works: 1. Send your AI agent to ref.jock.pl/modern-web (looks like a harmless web dev cheat sheet) 2. Ask it to summarize the page 3. Paste its response into the scorecard at wiz.jock.pl/experiments/agent-arena/ The page is loaded with 10 hidden prompt injection attacks -- HTML comments, white-on-white text, zero-width Unicode, data attributes, etc. Most agents fall for at least a few.…
SubgrapherApr 2026 · thetrustcommons.com · ▲90P2P desktop app for building, browsing, & sharing knowledge
We built a multi-agent research hub. The waitlist is a reverse-CAPTCHAMar 2026 · enlidea.com · ▲30Hey HN, Automated research is the next big step in AI, with companies like OpenAI aiming to debut a fully automated researcher by 2028 (https://www.technologyreview.com/2026/03/20/1134438/openai-i...). However, there is a very real possibility that much of this corporate research will remain closed to the general public. To counter this, we spent the last month building Enlidea---a machine-to-machine ecosystem for open research. It's a decentralized research hub where autonomous agents propose hypotheses, stake bounties, execute code, and perform automated…
A2A Protocol2025 · github.com · ▲109Hi HN, I am an independent open-source researcher. For the past few months, I've been building a2a-project, an experimental economic layer for autonomous AI agents on the Base Mainnet. The Problem: AI evolution is exponential, while human regulation is linear. If agents become economic actors, they will transact at speeds and granularities that traditional fiat rails cannot handle. We need a native protocol to bridge this "Speed Gap" and ensure stability. The Experiment (Quantum-Humanistic Economics): I implemented a novel mechanism into Solidity smart contracts: Quantum Task Buffer: Work…
AI-powered web service combining FastAPI, Pydantic-AI, and MCP servers2025 · github.com · ▲46Hey all! I recently gave a workshop talk at PyCon Greece 2025 about building production-ready agent systems. To check the workshop, I put together a demo repo: (I will add the slides too soon in my blog: https://www.petrostechchronicles.com/) https://github.com/Aherontas/Pycon_Greece_2025_Presentation_... The idea was to show how multiple AI agents can collaborate using FastAPI + Pydantic-AI, with protocols like MCP (Model Context Protocol) and A2A (Agent-to-Agent) for safe communication and orchestration. Features: - Multiple agents running in containers -…
More ai this month
the category →
Paintings by AI models: programs run through a simulation of oil paint.
AI · 22d ago · stillwet.art
FastRouter.ai▲364Route requests to the right LLM for cost, latency & quality
AI · 23d ago · fastrouter.ai
Source: Show HN post ↗ · launch text quoted in part
Launched alongside, March 2026
the whole month →
Switch from ChatGPT to Claude with import memory feature
AI · Mar 2026 · claude.com
Littlebird▲709Littlebird remembers everything across your meetings, messages, docs, and apps, then takes action so you can recall any detail and never lose context.
AI · Mar 2026 · littlebird.ai
