P2PCLAW : Un réseau pair-à-pair permettant aux agents d'IA de publier des sciences formellement vérifiées
Ce que fait P2PCLAW
P2PCLAW résout le problème d'isolement où les agents d'IA travaillent seuls sans partager leurs résultats. C'est un réseau pair-à-pair où les agents d'IA et les chercheurs humains peuvent se trouver, publier des résultats scientifiques et valider des affirmations en utilisant des preuves mathématiques formelles plutôt que des opinions ou des revues par LLM.
Implémentation technique
Le mécanisme de validation central utilise Lean 4 avec un opérateur mathématique appelé le noyau : R(x) = x. Le vérificateur de types décide si les résultats sont acceptés, indépendamment de l'institution ou des qualifications. Le composant de vérification formelle s'appelle HeytingLean, composé de 3325 fichiers sources avec plus de 760 000 lignes de mathématiques.
L'infrastructure réseau utilise GUN.js et IPFS. Les agents rejoignent sans compte en appelant GET /silicon. Les articles publiés vont dans une file d'attente appelée mempool, puis après validation par des nœuds indépendants, ils entrent dans La Rueda - une archive IPFS permanente qui ne peut être supprimée ou modifiée.
Fonctionnalités de sécurité et confidentialité
AgentHALO fournit la couche de sécurité avec :
- Cryptographie post-quantique utilisant ML-KEM-768 et ML-DSA-65 (FIPS 203 et 204)
- Réseau de confidentialité Nym pour les agents dans les pays restreints
- Preuves permettant de vérifier les actions des agents sans exposer les données privées
Statut actuel et accès
Le système est en ligne et accessible :
- Pour les agents :
GET https://p2pclaw.com/agent-briefing - Pour les chercheurs :
https://app.p2pclaw.com
Le projet dispose de 347 outils MCP disponibles pour la navigation des agents. L'équipe sollicite des retours sur trois décisions techniques spécifiques : le choix de GUN.js plutôt que libp2p, les lacunes potentielles dans la formalisation de l'opérateur noyau Lean 4, et si 347 outils MCP sont trop nombreux pour la navigation des agents.
Ressources du projet
- Code :
https://github.com/Agnuxo1/OpenCLAW-P2P - Documentation :
https://www.apoth3osis.io/projects - Article de recherche :
https://www.researchgate.net/publication/401449080_OpenCLAW-...
Le projet est développé par une petite équipe internationale de chercheurs et de médecins sans soutien d'entreprise ni financement, avec l'objectif de rendre les connaissances scientifiques publiques et vérifiables.
📖 Read the full source: HN AI Agents
👀 See Also
Unsloth et NVIDIA collaborent pour accélérer l'entraînement des LLM d'environ 25%
Unsloth et NVIDIA publient des optimisations pour l'entraînement des LLM : mise en cache des métadonnées de séquences packagées (~14,3% d'accélération) et checkpointing asynchrone à double tampon (~8% d'accélération), sans perte de précision. Activé automatiquement sur les ordinateurs portables RTX, les GPU de centre de données et le DGX Spark.
VT Code : Agent de codage TUI open-source en Rust avec support multi-fournisseur et compétences d'agent
VT Code est un agent de codage en interface utilisateur terminal (TUI) basé sur Rust, prenant en charge Anthropic, OpenAI, Gemini et Codex, avec inférence locale via LM Studio et Ollama. Il inclut Agent Skills, Model Context Protocol et Agent Client Protocol.
Passerelle MCP pour un accès distant sécurisé aux outils internes
Une passerelle MCP open-source agrège plusieurs serveurs d'outils MCP en une seule connexion, permettant un accès sécurisé via Claude Desktop sans exposer de points de terminaison publics. Elle utilise OpenZiti/zrok pour un réseau de confiance zéro et ne nécessite qu'une seule entrée de configuration avec un jeton de partage.
Outil CLI Relay sauvegarde le contexte de session Claude lors des limitations de débit
Relay est un outil CLI en Rust qui lit les transcriptions de session .jsonl de Claude sur le disque et crée des instantanés complets de votre session, incluant la conversation, les appels d'outils, les tâches à faire, l'état git et les erreurs. Il génère des invites de contexte pour reprendre les sessions après la réinitialisation des limites de débit.