latexnav: Инструмент на Python для навигации по файлам LaTeX с помощью ИИ и человека
latexnav — это бесплатный инструмент с открытым исходным кодом на Python, предназначенный для помощи LLM и людям в навигации по файлам LaTeX путём анализа структурных элементов и предоставления сводок с номерами строк.
Ключевые особенности и функциональность
Инструмент анализирует файлы LaTeX для извлечения:
- Теорем
- Определений
- Разделов
- Меток
- Перекрёстных ссылок
- Зависимостей
Он создаёт структурные сводки с точными номерами строк, что помогает экономить время и токены при управлении контекстом.
Проблема, которую он решает для ИИ-агентов
Когда ИИ-агенты (Claude, GPT, Gemini и др.) работают с большими рукописями LaTeX через CLI-инструменты, такие как Claude Code, Codex или OpenCode:
- Чтение сырых файлов .tex может потреблять тысячи токенов контекста
- Агентам не хватает структурного понимания того, какие теоремы существуют, что от чего зависит или где начинаются доказательства
latexnav предоставляет агентам возможности структурной навигации:
- Просмотр формулировки теоремы в 3 строках вместо чтения 200-строчного файла
- Проверка обратных зависимостей перед изменением результата
- Получение компактного обзора всей главы
- Точное знание, с чего начать чтение, благодаря предоставленным номерам строк
Разработка и интеграция
Инструмент был написан Claude внутри Claude Code, причём Claude сыграл значительную роль в тестировании UX и разработке функций. Разработчик периодически спрашивал агентов об инструменте, чтобы получить предложения по улучшениям и новым функциям.
Установка проста:
pip install latexnavДля интеграции в CLI-инструмент, такой как Claude Code, скажите агенту прочитать файл README в git-репозитории и настроить его файлы памяти/инструкций, как предложено в разделе интеграции с LLM-агентом.
Инструмент доступен на GitHub по адресу https://github.com/drwoood/latexnav.
📖 Read the full source: r/ClaudeAI
👀 Смотрите также
Миа: Локальный демон рабочего пространства ИИ с нативным приложением для Android и P2P-стримингом
Mia — это демон, который работает на вашем компьютере и соединяется с нативным Android-приложением через P2P, позволяя запускать и отслеживать длительные задачи ИИ-кодинга с телефона. Поддерживает агентов OpenCode, Claude Code, Gemini CLI и Codex, передавая вывод напрямую на ваше устройство в реальном времени.
Пользовательский бэкенд llama.cpp переносит матричное умножение LLM на NPU AMD XDNA2 в процессорах Ryzen AI MAX 385
Разработчик создал пользовательский бэкенд llama.cpp, который отправляет операции GEMM напрямую на NPU AMD XDNA2 в Ryzen AI MAX 385 (Strix Halo), достигая скорости декодирования 43,7 t/s при энергопотреблении 0,947 Дж/токен с моделью Meta-Llama-3.1-8B-Instruct Q4_K_M. Путь декодирования через NPU экономит около 10 Вт по сравнению с использованием только Vulkan, при этом сохраняя ту же пропускную способность декодирования.
Смрити: Git-подобная система для управления состоянием рассуждений LLM, предотвращающая смещение диалога.
Smriti — это инструмент с открытым исходным кодом, который позволяет разработчикам сохранять, восстанавливать, ветвить и сравнивать состояния рассуждений в диалогах с LLM, чтобы предотвратить дрейф. Он рассматривает взаимодействия как состояние, а не как историю чата, что позволяет выполнять чистые откаты и исследовать альтернативные пути без загрязнения основного потока.
Солитер: Открытый Идентификационный Слой для ИИ-Агентов, Созданный с Кодом Claude
Solitaire — это открытый слой идентификации для ИИ-агентов, который развивается через взаимодействие, а не статическую конфигурацию. Он протестирован в более чем 600 рабочих сессиях и хранит все данные локально, используя SQLite + JSONL, без зависимостей от облачных сервисов.