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
Servidor MCP Permite que o Claude Crie e Execute Ferramentas Personalizadas em Tempo de Execução
Um desenvolvedor criou um servidor MCP onde o Claude pode criar, atualizar e executar novas ferramentas sem necessidade de reimplantação. O sistema utiliza cinco ferramentas principais e executa código JavaScript/TypeScript personalizado em um sandbox Deno com inicialização a frio de ~50ms.
Exportando Memórias de Agentes de IA Usando a Função de Importação do Claude
Um usuário do Reddit compartilha um prompt para extrair memórias armazenadas de agentes de IA como ChatGPT e Claude, e depois importá-las para o OpenClaw. O prompt solicita todo o contexto armazenado, incluindo instruções, detalhes pessoais, projetos, ferramentas e preferências.
Passando das regras do CLAUDE.md para a aplicação de infraestrutura com Citadel
Um desenvolvedor descobriu que adicionar mais regras ao CLAUDE.md além de cerca de 100 linhas reduzia a conformidade, com 40% de redundância em seu arquivo. A solução foi transferir a aplicação das regras das instruções para a infraestrutura usando ganchos de ciclo de vida, habilidades e arquivos de campanha, culminando no sistema de código aberto Citadel.
Plugin de Relé do Agente OpenClaw Corrige Entrega no Telegram em Configurações Multiagente
O plugin openclaw-agent-relay resolve o problema persistente em que as respostas de sessions_send vão para o webchat em vez do Telegram, usando o gateway WebSocket RPC para acionar as rodadas do agente com deliver:true, eliminando a necessidade de soluções alternativas como ferramentas de mensagem explícitas ou etapas de anúncio.