graphify

Использование AI для помощи в программировании — когда проект разрастается, это превращается в головную боль: зависимости между частями кода, нюансы архитектурных решений — простым пролистыванием файлов уже не разобраться.

Можно попробовать open-source проект graphify — он автоматически превращает весь кодбейс в граф знаний, позволяя AI-ассистентам реально «понимать» структуру проекта.

Достаточно ввести одну команду в популярных AI-инструментах для разработки, таких как Claude Code, Cursor, Gemini CLI — и он генерирует интерактивные графы знаний, архитектурные отчёты и файлы с возможностью запросов.

Это не только про код — можно загружать PDF-документы, скриншоты, фото с доски, даже видео и аудио — система автоматически извлекает сущности и связи, объединяя всё в единый граф.

Для кода используется локальный парсинг синтаксического дерева, без отправки данных в облако, поддерживается 20 языков программирования.

При выполнении запросов экономия достигает более чем в 70 раз по сравнению с прямым чтением сырых файлов, а последующие запросы после одного прогона практически не требуют затрат.

Если ваш проект растёт, файлов становится всё больше, и вы хотите, чтобы AI-ассистент перестал «гадать вслепую», это стоит попробовать.

📁 Language: #Python 100.0%

⭐️ Stars: 22.4k

➡️ Cсылка на GitHub

📱 @git_developer

MathCode

Я хочу использовать ИИ для формальных доказательств математических теорем, но большинство инструментов этого не поддерживают, а собрать собственный воркфлоу с нуля — очень высокий порог входа.

Случайно наткнулся на опенсорс-проект под названием MathCode. Он принимает описание математической задачи на естественном языке и автоматически конвертирует его в теоремы для Lean 4, после чего пытается завершить формальное доказательство.

Проще говоря, это ассистент для доказательства теорем прямо в терминале. Вводишь фразу вроде «Докажи, что квадрат чётного числа — чётный», и он сам проходит весь пайплайн: от формализации до доказательства.

Также есть интеграция с Lean LSP, которая позволяет автоматически подтягивать существующие леммы из библиотеки Mathlib для помощи в доказательствах. Если возникают ошибки компиляции, система автоматически их исправляет и делает ретраи, до десяти итераций.

Поддерживается генерация графов знаний в Obsidian для визуализации зависимостей между теоремами и леммами. Есть параллельный запуск нескольких планировщиков, чтобы одновременно прогонять разные стратегии доказательства и находить оптимальное решение.

Если интересна формальная верификация математики или вы используете Lean 4 и считаете ручной процесс слишком трудоёмким, этот инструмент стоит попробовать.

📁 Language: #Python 52.7%

⭐️ Stars: 402

➡️ Cсылка на GitHub

📱 @git_developer

NtWARden

NtWARden — набор инструментов для анализа и исследования Windows

Инструмент инспекции системы Windows на базе ImGui + DirectX 11, поддерживает работу как в пользовательском режиме, так и в режиме ядра.

Позволяет перечислять внутренние структуры системы: процессы, сервисы, сетевые соединения, обратные вызовы ядра, SSDT, пулы ядра и т.д., а также включает встроенные функции анализа безопасности процессов (обнаружение шеллкода, выявление подмены модулей, детектирование перехватов системных вызовов и др.).

📁 Language: #Cpp 79.8%

⭐️ Stars: 302

➡️ Cсылка на GitHub

📱 @git_developer

solcl

Терминальный просмотрщик солнечной системы на Go, построенный на Bubble Tea.

Управление:

🟡 q или ctrl+c — выход из программы
🟡 * или ↑ — увеличить масштаб
🟡 * или ↓ — уменьшить масштаб
🟡 h — скрыть справку
🟡 r — сброс времени
🟡→ — ускорить время
🟡 ← — перемотать время назад

📁 Language: #Go 100.0%

⭐️ Stars: 27

➡️ Cсылка на GitHub

📱 @git_developer

LSP Enforcement Kit for Claude Code

Механизм принудительного использования LSP-навигации в Claude Code: 6 хуков + 1 трекер состояния, которые блокируют неэффективные поиски через Grep и направляют Claude к использованию LSP-инструментов для навигации по коду.

Поддерживаются MCP-серверы cclsp и Serena LSP. По словам автора, в тестах это дало примерно 73% экономии токенов.

📁 Language: #JavaScript 72.6%

⭐️ Stars: 102

➡️ Cсылка на GitHub

📱 @git_developer

architecture-diagram-generator

Наткнулся на полезный скилл на GitHub — генератор архитектурных диаграмм.

Достаточно описать компоненты системы и их связи обычным языком или передать код на анализ — инструмент сгенерирует аккуратную архитектурную диаграмму.

Результат — автономный HTML-файл, который открывается в браузере. Можно взаимодействовать с ИИ: менять расположение, добавлять или удалять компоненты.

Разные типы компонентов выделяются цветами: фронтенд — голубой, бэкенд — зелёный, базы данных — фиолетовый и т.д. Используется шрифт JetBrains Mono, визуально получается аккуратная инженерная схема.

Подойдёт для подготовки архитектуры под презентации и техническую документацию — можно сохранить.

📁 Language: #HTML 100.0%

⭐️ Stars: 1.9k

➡️ Cсылка на GitHub

📱 @git_developer

nothing design

Кто-то собрал скилл «nothing design» для Claude Code.

Просто вызываешь /nothing-design, и он генерирует весь UI в фирменном монохромном индустриальном стиле.

Швейцарская типографика, матричные паттерны и глубокий OLED-чёрный — всё зашито прямо в агент.

📁 Language: #HTML 100.0%

⭐️ Stars: 1.9k

➡️ Cсылка на GitHub

📱 @git_developer

AIUsage

Нативная панель управления для macOS для централизованного управления несколькими аккаунтами подписок на ИИ-сервисы, квотами, расходами, а также агентами Claude Code и статистикой.

Нативное приложение на SwiftUI, предназначенное для объединения аккаунтов, квот и расходов от разных провайдеров ИИ-сервисов в одном интерфейсе для просмотра.

Основной упор сделан на управление несколькими аккаунтами, отображение статуса в строке меню, а также статистику по стоимости и токенам для Claude Code. Проект также включает встроенный прокси для Claude Code, который может преобразовывать запросы Claude API в модели, совместимые с OpenAI, либо прозрачно логировать использование в режиме Anthropic Passthrough.

📁 Language: #Swift 99.3%

⭐️ Stars: 1.9k

➡️ Cсылка на GitHub

📱 @git_developer

Void-Tools

Void-Tools объединяет разрозненные инструменты для OSINT, сетевые запросы, операции с Discord и скрипты атак в единый интерфейс терминала, чтобы не приходилось искать и запускать их по отдельности.

Это терминальный тулкит, написанный на Python, включающий 11 модулей. Функциональность достаточно широкая: OSINT, запросы по IP, работа с паролями и временной почтой, а также функции повышенного риска — такие как Discord-нукер, DDoS и SMS-бомбинг.

📁 Language: #Python 93.4%

⭐️ Stars: 134

➡️ Cсылка на GitHub

📱 @git_developer

NetAlertX

Лёгкое централизованное решение для обнаружения и мониторинга сетевых активов, которое постоянно отслеживает состояние и изменения устройств во внутренней сети без зависимости от тяжёлых SIEM.

Проще говоря, NetAlertX следит за устройствами в вашей локальной сети. Он непрерывно сканирует её с помощью arp-scan, Pi-hole, контроллера UNIFI, SNMP-роутеров и автоматически фиксирует, какие устройства онлайн и какие появились новые.

Можно рассматривать его как единый реестр сетевых активов — он находит несанкционированное оборудование, автоматически помечает и архивирует устройства, а также позволяет задавать правила для автоматической категоризации новых устройств.

📁 Language: #Python 42.2%

⭐️ Stars: 6.1k

➡️ Cсылка на GitHub

📱 @git_developer

anubis

Anubis используется для автоматической заморозки или разморозки приложений в зависимости от состояния VPN. Он не использует изоляцию через песочницу, а применяет Shizuku для прямого отключения приложений на уровне системы — отключённые приложения не могут выполнять никаких действий.

Когда VPN подключён, он замораживает одну группу приложений; когда VPN отключён — другую. В отличие от решений с песочницей вроде Island или Shelter, он напрямую вызывает pm disable-user через Shizuku, чтобы отключить приложения на системном уровне, поэтому они вообще не могут запускаться, не видят сеть и не могут утекать данные.

📁 Language: #Kotlin 99.9%

⭐️ Stars: 808

➡️ Cсылка на GitHub

📱 @git_developer

BuilderPulse

Каждое утро автоматически агрегирует более 300 сигналов с платформ вроде Hacker News, GitHub, Product Hunt, HuggingFace, Google Trends, Reddit и других, формируя ежедневную аналитику и рекомендации по идеям проектов, адаптированные для инди-разработчиков.

В отчёте перечисляются горячие темы дня, заметные сдвиги трендов и даётся одно конкретное предложение — «если у тебя есть два часа сегодня, какой продукт стоит сделать». Весь контент доступен на английском и китайском, публикуется ежедневно в виде Markdown-файлов в репозитории и поддерживает подписку через RSS.

⭐️ Stars: 896

➡️ Cсылка на GitHub

📱 @git_developer

claude-code-java

В Java, если нужно интегрировать полноценного агента, который умеет вызывать инструменты, запускать циклы, хранить контекст и поднимать веб-интерфейс для отладки, не стоит каждый раз собирать это с нуля — здесь уже есть готовый встраиваемый движок.

Встраиваемый движок AI-агента для любого Java-приложения — CLI · REST API · веб Playground

Базовая логика максимально простая: когда модели нужно вызвать инструмент, она выполняет его, записывает результат обратно в контекст и продолжает выполнение. Весь этот цикл упакован в Java-библиотеку и слой приложения на Spring Boot, поэтому его можно напрямую встроить в бизнес-систему или использовать как CLI, REST-сервис или веб Playground.

📁 Language: #Java 67.2%

⭐️ Stars: 122

➡️ Cсылка на GitHub

📱 @git_developer

Meta-Harness

При условии, что базовая модель не модифицируется, автоматически подобрать более подходящую обвязку, чтобы лучше адаптировать модель под конкретные задачи с точки зрения памяти, извлечения контекста и его компоновки.

Meta-Harness — это сопутствующий код к работе Stanford IRIS Lab под названием «Meta-Harness: End-to-End Optimization of Model Harnesses». Он не меняет саму модель напрямую, а вместо этого ищет оптимальный внешний рабочий контур вокруг модели: что сохранять, когда это извлекать и какой именно контент подавать модели. Репозиторий даёт общий каркас, а также два примера экспериментов: один для классификации текста, второй для Terminal-Bench 2.0.

📁 Language: #Python 98.9%

⭐️ Stars: 456

➡️ Cсылка на GitHub

📱 @git_developer

KillerPDF

Нужен портируемый PDF-редактор для Windows без подписок и телеметрии, который позволяет техникам в полевых условиях офлайн просматривать, аннотировать, объединять, разделять, подписывать и печатать документы.

KillerPDF — портируемый PDF-редактор для Windows, запускается из одного EXE без установки и без авторизации. Поддерживает базовые операции: просмотр, аннотации, редактирование текста, рисование линий, выделение, подпись, поиск, объединение/разделение и печать.

Лёгкий и удобный для использования на машинах с ограниченными правами или без стабильного доступа к сети.

📁 Language: #Csharp 87.8%

⭐️ Stars: 248

➡️ Cсылка на GitHub

📱 @git_developer

rs-top

Отображение системного мониторинга в реальном времени сразу по нескольким удалённым хостам через SSH, без установки какого-либо софта на управляемую сторону — работа только в режиме чтения.

rs-top — лёгкий инструмент для удалённого системного мониторинга. Он работает поверх SSH, использует стандартные команды Linux (top, cat, systemctl) для получения системной информации в реальном времени с нескольких удалённых хостов без установки каких-либо агентов и показывает её в терминальном интерфейсе, похожем на top/htop.

📁 Language: #Rust 99.7%

⭐️ Stars: 29

➡️ Cсылка на GitHub

📱 @git_developer

hue

Навык для ИИ-кодинга, который умеет изучать любой бренд по URL, названию или скриншоту и генерировать полноценную дизайн-систему, обеспечивая консистентность компонентов, создаваемых ИИ-ассистентами.

hue — это плагин-навык для Claude Code и Codex. Достаточно передать ссылку на бренд или скриншот, и он поможет сгенерировать полный дизайн-язык: цвета, шрифты, отступы, компоненты, светлую и тёмную темы — всё включено.

В комплекте 17 примеров в разных стилях — от фэшн до теха. Ключевой момент — генерируемый результат выглядит достаточно «с выраженным мнением»: элементы интерфейса из разных сессий выглядят как части единой, согласованной системы.

⭐️ Stars: 374

➡️ Cсылка на GitHub

📱 @git_developer

superpowers

GitHub 160K???

Предоставляет полноценную методологию разработки для кодинг-агентов, реализующую автоматизированный воркфлоу от уточнения требований до доставки кода через компонуемую систему скиллов.

Superpowers — это методология разработки для кодинг-агентов. После запуска агент сначала уточняет требования, затем предлагает дизайн-решение для подтверждения пользователем, после чего разбивает его на небольшие задачи, которые можно выполнить за несколько минут, и по очереди делегирует их саб-агентам.

Каждая задача включает практики разработки через тестирование (TDD), код-ревью и этапы валидации. Ключевая идея: сначала писать тесты, заменять догадки процессами и делать проверку обязательной перед доставкой.

📁 Language: #Shell 61.6%

⭐️ Stars: 162K

➡️ Cсылка на GitHub

📱 @git_developer

agents-md

Файл AGENTS.md, добавленный в корень проекта, позволяет агентам программирования вроде Claude Code, Codex и Cursor сразу работать на уровне сеньор-разработчика.

agents-md — это файл AGENTS.md, который можно просто положить в корень проекта, чтобы разные программные агенты следовали нормам поведения «сеньор-инженера». Он объединяет четыре принципа отказов агентного программирования от Karpathy и воркфлоу Claude Code от Boris Cherny. Ключевые изменения: агент будет оспаривать твои ошибки, вносить только минимально необходимые изменения, не трогать несвязанный код без причины, сначала запускать проверки перед отчётом о завершении и задавать вопросы при любой неоднозначности.

Файл занимает около 200 строк, редактируются только два блока (контекст проекта и накопленный опыт проекта), остальная часть — фиксированные и лаконичные правила поведения. Через симлинки для CLAUDE.md и GEMINI.md один файл может централизованно управлять поведением всех агентов.

⭐️ Stars: 243

➡️ Cсылка на GitHub

📱 @git_developer

Cairn

Используйте ИИ, чтобы автоматически проходить весь процесс тестирования на проникновение — от поиска уязвимостей до эксплуатации — за один бесшовный проход.

Cairn — это инструмент для автоматизированного тестирования на проникновение, разработанный командой oritera. Он опирается на ИИ, чтобы выполнять весь процесс тестирования целиком. На втором Tencent Cloud Hackathon в треке Intelligent Penetration Challenge проект занял четвертое место в онлайн-категории и стал единственной командой, которой удалось добиться полного AK. Код пока не опубликован, но автор пишет, что скоро выложит его в открытый доступ под лицензией AGPLv3 — для коммерческого использования потребуется отдельное согласование.

⭐️ Stars: 236

➡️ Cсылка на GitHub

📱 @git_developer