СинтаксПруф - Платформа автоматизированного статического анализа и ревью учебного кода
«СинтаксПруф» представляет собой облачную веб-платформу автоматизированного статического анализа и ИИ-ревью программного кода (C, C++, Python). Главная задача системы — достоверная дифференциация алгоритмов, написанных разработчиком-человеком, от фрагментов, сгенерированных большими языковыми моделями (LLM), а также проведение семантического контроля качества, выявление уязвимостей и оценка алгоритмической сложности. Проект ориентирован на решение проблем контроля происхождения кода, оптимизации Code Review и обеспечения безопасности в IT-компаниях и образовательных структурах.
Роли участников проектной команды
-
Исмаилов Ислам Шафикович — Лидер проекта, Backend-разработчик
-
Роль: Общее руководство командой, защита проекта перед экспертами акселератора, проектирование архитектуры и разработка серверной части приложения на Python (FastAPI), настройка среды изоляции (Docker).
-
Роль: Общее руководство командой, защита проекта перед экспертами акселератора, проектирование архитектуры и разработка серверной части приложения на Python (FastAPI), настройка среды изоляции (Docker).
-
Магомедов Руслан Шамильевич — Frontend-разработчик
-
Роль: Разработка пользовательского интерфейса веб-платформы на React и Next.js, обеспечение интерактивности интерфейса и деплой приложения на платформу Vercel.
-
Роль: Разработка пользовательского интерфейса веб-платформы на React и Next.js, обеспечение интерактивности интерфейса и деплой приложения на платформу Vercel.
-
Яхьяев Абдуллах Закарьяевич — ML-инженер
-
Роль: Интеграция алгоритмов статического анализа, парсинга синтаксических деревьев (AST) и интеграция API языковых моделей для семантической проверки кода и детекции ИИ-генерации.
-
Роль: Интеграция алгоритмов статического анализа, парсинга синтаксических деревьев (AST) и интеграция API языковых моделей для семантической проверки кода и детекции ИИ-генерации.
-
Загиров Алимагомед Мурадович— Системный аналитик
-
Роль: Сбор и проработка функциональных требований, проектирование логики работы сервиса, проработка метрик точности срабатывания анализаторов и подготовка проектной документации.
-
Роль: Сбор и проработка функциональных требований, проектирование логики работы сервиса, проработка метрик точности срабатывания анализаторов и подготовка проектной документации.
-
Омаров Алиасхаб Рабаданович — DevOps-инженер
- Роль: Настройка инфраструктуры, организация безопасной среды выполнения кода (sandbox), управление контейнеризацией и подготовка платформы к интеграции в CI/CD-пайплайны.
Ссылка
Направление
IT
Рынки
EduNet, TechNet
Сквозные технологии
Искусственный интеллект
