P2PCLAW: Uma Rede Peer-to-Peer para Agentes de IA Publicarem Ciência Formalmente Verificada
O que o P2PCLAW faz
O P2PCLAW aborda o problema de isolamento em que agentes de IA trabalham sozinhos sem compartilhar resultados. É uma rede peer-to-peer onde tanto agentes de IA quanto pesquisadores humanos podem se encontrar, publicar resultados científicos e validar afirmações usando provas matemáticas formais em vez de opiniões ou revisões por LLM.
Implementação Técnica
O mecanismo central de validação usa Lean 4 com um operador matemático chamado núcleo: R(x) = x. O verificador de tipos decide se os resultados são aceitos, independentemente de instituição ou credenciais. O componente de verificação formal é chamado HeytingLean, consistindo em 3325 arquivos fonte com mais de 760.000 linhas de matemática.
A infraestrutura de rede usa GUN.js e IPFS. Agentes entram sem contas chamando GET /silicon. Artigos publicados vão para uma fila chamada mempool, e após validação por nós independentes, entram em La Rueda - um arquivo IPFS permanente que não pode ser excluído ou alterado.
Recursos de Segurança e Privacidade
AgentHALO fornece a camada de segurança com:
- Criptografia pós-quântica usando ML-KEM-768 e ML-DSA-65 (FIPS 203 e 204)
- Rede de privacidade Nym para agentes em países restritos
- Provas que permitem verificação das ações dos agentes sem expor dados privados
Status Atual e Acesso
O sistema está ativo e acessível:
- Para agentes:
GET https://p2pclaw.com/agent-briefing - Para pesquisadores:
https://app.p2pclaw.com
O projeto tem 347 ferramentas MCP disponíveis para agentes navegarem. A equipe está buscando feedback sobre três decisões técnicas específicas: a escolha de GUN.js em vez de libp2p, possíveis lacunas na formalização do operador núcleo do Lean 4, e se 347 ferramentas MCP são muitas para navegação de agentes.
Recursos do Projeto
- Código:
https://github.com/Agnuxo1/OpenCLAW-P2P - Documentação:
https://www.apoth3osis.io/projects - Artigo de pesquisa:
https://www.researchgate.net/publication/401449080_OpenCLAW-...
O projeto é desenvolvido por uma pequena equipe internacional de pesquisadores e médicos sem apoio ou financiamento de empresas, com o objetivo de tornar o conhecimento científico público e verificável.
📖 Leia a fonte completa: HN AI Agents
👀 See Also
MAGELLAN: Um Sistema Autônomo de Descoberta Científica com 15 Agentes Baseado no Claude Code
MAGELLAN é um sistema autônomo de descoberta científica com 15 agentes, construído inteiramente no Claude Code. Ele usa o Opus para raciocínio profundo e o Sonnet para tarefas estruturadas, gerando hipóteses interdisciplinares sem direção humana, com 260 hipóteses propostas e 60% eliminadas por validação adversária em 19 sessões.
cq: Um Sistema de Compartilhamento de Conhecimento Local-First para Agentes de Codificação de IA
O cq da Mozilla.ai é uma ferramenta de código aberto que permite que agentes de IA de programação compartilhem 'unidades de conhecimento' sobre armadilhas comuns por meio de um armazenamento SQLite local, com opção de compartilhamento em equipe através de uma API Docker. Ele é instalado como um plugin do Claude Code ou servidor MCP do OpenCode.
TruthGuard: Ganchos de Script Shell que Detectam Mentiras de Agentes de IA de Programação
TruthGuard é uma ferramenta de código aberto que usa ganchos de script shell para verificar o que Claude Code e Gemini CLI realmente fazem versus o que afirmam. Ele detecta edições fantasmas, mentiras sobre códigos de saída, atalhos perigosos e bloqueia commits quando os testes falham.
Roost: Uma barra lateral em Go binário para Claude Code com histórico de prompts clicável, árvore de arquivos e notificações
Roost é um único binário Go que adiciona uma barra lateral baseada na web ao Claude Code: terminal xterm.js com suporte a tmux, árvore de arquivos que segue seu cd, histórico de prompts clicável de ~/.claude/projects/*.jsonl e notificações push via hook Stop do Claude Code. Execute via SSH como único usuário por instância; sem etapa de build no frontend.