AxiomCodeAI/axiomcodegraph
- Всего звёзд
- 129
- Сегодня · UTC
- +2с 18:54 UTC
Другие действия
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Сохрани в «Мои находки», чтобы следить за релизами и ростом звёзд. Сохраняется в этом браузере.
О проекте
Инструмент строит граф вызовов кодовой базы на основе формальных методов и типов, чтобы AI-агенты точно понимали структуру кода вместо grep. Поддерживает Java, TypeScript, Python (JavaScript и C# в бете).
Чем пригодится
- Найти все тесты, которые затрагивает изменение конкретной функции
- Определить, какие файлы вызывают заданный метод, через интерфейсы и подклассы
- Подключить MCP-сервер к AI-агенту для навигации по коду без grep
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях. Оригинал README →
Рост звёзд выглядит естественно. Данные на 14 октября 2026, 20:06 UTC.
Оценка роста звёзд не подтверждает безопасность запуска.
Звёзды по дням
Столбики — звёзды за день UTC; линия — скользящее среднее доступной истории. Пропуски означают отсутствие данных, а не нулевой рост. Сегодняшний столбик неполный. Красным — дни всплесков.
Почему он в тренде
- По замерам счётчика за 2026-10-14 (UTC), 18:54–19:59: 127 → 129 звёзд (+2). Это прирост за указанный интервал.
- Расчётный прогноз на конец суток: около +3 звёзд; учитывает наблюдаемый прирост и предыдущий день.
- Репозиторию 53 дня, а у него уже 129 звёзд.
- Hacker News: «Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods» — 10 очков, 3 ч назад.
Замеры роста: последние 7 полных дней
Новые звёзды за 7 дней: 59. +20% к предыдущим 7 дням.
Замеры по дням · UTC
- 7 октября 2026
- 4
- 8 октября 2026
- 9
- 9 октября 2026
- 8
- 10 октября 2026
- 7
- 11 октября 2026
- 8
- 12 октября 2026
- 11
- 13 октября 2026
- 12
Максимальный измеренный день за последние 30 дней: 42 · 6 октября 2026. Дней с данными: 30.
Полные дни — из истории звёзд GitHub; сегодня и прогнозы исключены из сравнения. История проверена: 14 октября 2026, 20:06 UTC. Источники и ограничения замеров →
Три GitHub-находки в каждом выпуске
Что делают, почему набирают интерес и что проверить перед использованием.
Выпуски в 10:00, 16:00, 22:00 МСК.
Цифры
- Всего звёзд
- 129
- Сегодня
- +2 звезды по замерам 2026-10-14, 18:54–19:59 UTC, к вечеру ≈ 3
- Форков
- 15
- Issues и pull requests
- 1 952
- Наблюдателей
- 3
- Язык
- TypeScript
- Последний релиз
- v0.1.11 · 14 октября 2026
- Создан
- 22 августа 2026
- Последний коммит
- 14 октября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- Show HN: AxiomCode Graph, Reducing coding agent rework with formal methods10 очков, 14 октября 2026
Где замечен
- 14 октября 2026Замечен на Hacker News
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/AxiomCodeAI/axiomcodegraph)