AA

aletheore/aletheore

Developer tools

Эта страница переведена автоматически. Технические детали смотрите в оригинале. Открыть оригинал

616 stars 43 forks Качество 69 Тренд 41AGPL-3.0

CLI аудита репозитория на основе доказательств — детерминированный сканер, сервер MCP, живой панель управления и действие на GitHub, публикующее PR-дифференции.

Обзор

Разведка, основанная на доказательствах хранилища Интеллект кода, который должен показывать свою работу. Детерминированный сканер считывает ваш репозиторий и записывает структурированные доказательства — каждая нижняя функция (аудит ИИ, PR-бот, MCP-сервер, дашборд) должна ссылаться на эти доказательства, иначе он не сможет сделать это утверждение. Установите приложение Aletheore GitHub — размещённое PR-обзор, панель управления и документацию AIRview поверх того же движка доказательств. Предпочитаете бесплатный локальный CLI? Читайте дальше. Нет LLM-вызова, нет аккаунта, нет доступа к сети, кроме поиска по уязвимостям и реестру лицензий (отключите их и для полностью офлайн-запуска). Одна команда даёт вам реальный граф зависимостей, сканирование секретов, проверку секретов в истории git, проверку уязвимости зависимости/лицензии и статическую карту конечных точек API — для . - Каждое утверждение, написанное ИИ (аудитский отчет, комментарии к PR-обзору, архитектурная вики) проверяется по ссылающемуся файлу. Находка, которую нельзя проверить с реальными доказательствами, отбрасывается или отмечается, а не распространяется без сомнения.

Обзор (машинный перевод)

Разведка, основанная на доказательствах хранилища

Интеллект кода, который должен показать свою работу. Детерминированный сканер считывает ваш репозиторий и пишет структурированные доказательства — каждую нижнюю функцию (аудит ИИ, PR-бот, MCP-сервер, Дашборд) должен ссылаться на эти доказательства, иначе он не может сделать это утверждение.

Установите приложение Aletheore GitHub — размещённое PR-обзор, панель управления и документацию AIRview поверх того же движка доказательств.
Предпочитаете бесплатный местный CLI? Читайте дальше.

Нет звонка LLM, нет аккаунта, нет доступа к сети, кроме поиска по уязвимостям и реестру лицензий (отключите их тоже для полностью офлайн-запуска). Эта одна команда даёт вам реальную зависимость граф, сканирование секретов, проверка секретов истории git, проверка уязвимости зависимости/лицензии и статическая карта конечных точек API — для Python, JavaScript/JSX, TypeScript/TSX, Go, Rust, Java, Kotlin, Ruby, PHP, C, C++, C# и Swift.

Почему

  • Обоснованно, а не вибрация. Каждое утверждение, написанное ИИ (отчёт audit, комментарии к PR-обзору, Architecture wiki) проверяется по File:Line, на который она ссылается. Это не может быть результатом Проверенные по реальным доказательствам снимают или отмечают, а не отправляют без сомнения.

Эта страница переведена автоматически. Технические детали смотрите в оригинале.

README

Показан фрагмент оригинального README. Открыть оригинал.

Understand your code. Trace the impact of a change.

Scan a repository into structured evidence, inspect its dependencies and ownership, and give coding agents and PR reviews concrete source context.

Открыть полный README на GitHub

Установка

This server does not publish a one-line install command.

Open the repository installation guide Новичок в MCP? Начните с руководства на mcpskill.org →