latexnav : Outil Python pour la navigation des fichiers LaTeX par les LLM et les humains
latexnav est un outil Python gratuit et open source conçu pour aider les LLM et les humains à naviguer dans les fichiers LaTeX en analysant les éléments structurels et en fournissant des résumés avec des numéros de ligne.
Fonctionnalités et fonctionnalités clés
L'outil analyse les fichiers LaTeX pour extraire :
- Théorèmes
- Définitions
- Sections
- Étiquettes
- Références croisées
- Dépendances
Il produit des résumés structurels avec des numéros de ligne fiables, ce qui permet de gagner du temps et des tokens tout en gérant le contexte.
Problème qu'il résout pour les agents d'IA
Lorsque les agents d'IA (Claude, GPT, Gemini, etc.) travaillent avec de grands manuscrits LaTeX via des outils CLI comme Claude Code, Codex ou OpenCode :
- La lecture des fichiers .tex bruts peut consommer des milliers de tokens de contexte
- Les agents manquent de conscience structurelle des théorèmes existants, des dépendances ou de l'emplacement des preuves
latexnav fournit aux agents des capacités de navigation structurelle :
- Visualiser un énoncé de théorème en 3 lignes au lieu de lire un fichier de 200 lignes
- Vérifier les dépendances inverses avant de modifier un résultat
- Obtenir un aperçu compact d'un chapitre entier
- Savoir exactement où commencer la lecture grâce aux numéros de ligne fournis
Développement et intégration
L'outil a été écrit par Claude dans Claude Code, Claude jouant un rôle significatif dans les tests UX et le développement des fonctionnalités. Le développeur a périodiquement demandé aux agents des suggestions d'améliorations et de nouvelles fonctionnalités.
L'installation est simple :
pip install latexnavPour l'intégrer dans un outil CLI comme Claude Code, demandez à l'agent de lire le fichier README du dépôt git et de configurer ses fichiers de mémoire/instructions comme suggéré dans la section d'intégration des agents LLM.
L'outil est disponible sur GitHub à https://github.com/drwoood/latexnav.
📖 Read the full source: r/ClaudeAI
👀 See Also
Serveur MCP Permet aux Agents IA d'Effectuer des Achats Réels avec des Cartes Virtuelles Éphémères
Un développeur a créé un serveur MCP qui permet aux agents d'IA d'effectuer des achats réels en utilisant des cartes Visa virtuelles éphémères émises juste à temps. Le système nécessite l'approbation de l'utilisateur via une authentification multifacteur et émet des cartes verrouillées sur des marchands spécifiques avec une durée de vie de 15 minutes.
Format d'Esprit Portable (PMF) : Spécification d'Agent Indépendante du Fournisseur avec 15 Agents Open-Source
Le Portable Mind Format (PMF) est une spécification basée sur JSON pour définir des identités d'agents IA qui peuvent fonctionner sur plusieurs modèles et fournisseurs, y compris Claude, GPT-4, Gemini, DeepSeek et des modèles locaux via Ollama. Il comprend 15 agents de production sous licence MIT et des convertisseurs pour Claude Code, Cursor, GitHub Copilot et Gemini CLI.
Agint : Un outil CLI en Rust qui détecte les contradictions dans les fichiers d'instructions des agents IA
Agint est un outil CLI Rust gratuit et open-source qui analyse les fichiers d'instructions comme CLAUDE.md et AGENTS.md à la recherche de contradictions, de références manquantes à des fichiers et de problèmes de synchronisation. Il utilise l'analyse statique pour les problèmes structurels et peut éventuellement appeler l'API Claude pour la détection de contradictions sémantiques.
Passage des règles CLAUDE.md à l'application par l'infrastructure avec Citadel
Un développeur a constaté qu'ajouter plus de règles au fichier CLAUDE.md au-delà d'environ 100 lignes réduisait la conformité, avec 40% de redondance dans son fichier. La solution a été de déplacer l'application des règles des instructions vers l'infrastructure en utilisant des hooks de cycle de vie, des compétences et des fichiers de campagne, aboutissant au système open-source Citadel.