latexnav: Python Tool for LLM and Human Navigation of LaTeX Files

latexnav is a free open source Python tool designed to help LLMs and humans navigate LaTeX files by parsing structural elements and providing summaries with line numbers.
Key Features and Functionality
The tool parses LaTeX files to extract:
- Theorems
- Definitions
- Sections
- Labels
- Cross-references
- Dependencies
It produces structural summaries with authoritative line numbers, which helps save time and tokens while managing context.
Problem It Solves for AI Agents
When AI agents (Claude, GPT, Gemini, etc.) work with large LaTeX manuscripts via CLI tools like Claude Code, Codex, or OpenCode:
- Reading raw .tex files can consume thousands of context tokens
- Agents lack structural awareness of what theorems exist, what depends on what, or where proofs start
latexnav provides agents with structural navigation capabilities:
- View a theorem statement in 3 lines instead of reading a 200-line file
- Check reverse dependencies before modifying a result
- Get a compact overview of an entire chapter
- Know exactly where to start reading via provided line numbers
Development and Integration
The tool was written by Claude inside Claude Code, with Claude playing a significant role in UX testing and feature development. The developer periodically asked agents about the tool to get suggestions for improvements and new features.
Installation is straightforward:
pip install latexnavTo integrate into a CLI tool like Claude Code, tell the agent to read the README file in the git repository and set up its memory/instructions files as suggested in the LLM agent integration section.
The tool is available on GitHub at https://github.com/drwoood/latexnav.
📖 Read the full source: r/ClaudeAI
👀 See Also

Orc: Multi-Agent Coding Orchestration Tool Adds Planning and Notification Features
Orc is an open-source tool that orchestrates AI coding agents across projects with a local TUI interface. The latest release adds planning as a first-class phase, notification systems for human intervention, and natural language lifecycle hooks.

Chrome Extension Adds Live Preview to Claude Code Web
A Chrome extension called Claude Code Preview adds live preview functionality to Claude Code Web, similar to Lovable and other 'vibecoding' sites, allowing side-by-side viewing of deployments.

Claude Code hooks prevent Chrome tab interference between multiple sessions
A developer created three hooks (session-start, capture-tab-id, enforce-tab-id) that pin each Claude Code session to its own Chrome tab, preventing sessions from accidentally accessing other sessions' tabs during test runs and form fills.

Solitaire: Open-Source Identity Layer for AI Agents Built with Claude Code
Solitaire is an open-source identity layer for AI agents that evolves through interaction rather than static configuration. It's been tested across 600+ production sessions and stores all data locally using SQLite + JSONL with no cloud dependencies.