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
Stackdome: Alternativa Open Source e Auto-hospedável ao Railway no Kubernetes
Stackdome é uma plataforma de implantação de código aberto e auto-hospedável que empacota ferramentas do CNCF em uma experiência de desenvolvedor opinativa, semelhante à Railway, em Kubernetes. Possui interface de canvas, suporte a múltiplos clusters, Postgres gerenciado e builds de source-to-image.
Relay: Uma Ferramenta para Transferir Sessões de Código do Claude para Outros Agentes de IA
Relay é um binário Rust que extrai o contexto da sessão do Claude Code — incluindo histórico de conversas, chamadas de ferramentas, erros e estado do git — e o transfere para outros agentes de IA como Codex ou Gemini quando os limites de taxa são atingidos. Ele suporta 8 agentes e pode ser instalado via GitHub ou npm.
Plugin do AxonFlow para OpenClaw: Aprovação de Ferramenta de Pré-Execução e Redação de PII
Um plugin OpenClaw auto-hospedado que verifica argumentos de ferramentas antes da execução, pausa chamadas arriscadas para aprovação humana e oculta PII de mensagens de saída. Usa hooks do ciclo de vida do OpenClaw — sem necessidade de alterar o código do agente.
Claude Code v2.1.238: keybindingFlavor, headersHelper, correções para runner auto-hospedado
O Claude Code v2.1.238 adiciona keybindingFlavor=readline para Ctrl+W, headersHelper para marketplaces de plugins, flags para runners self-hosted de shutdown e proxy auth, além de inúmeras correções.