Сотрудничество

Лаборатория SciLib открыта к сотрудничеству на нескольких уровнях. Мы предпочитаем содержательные совместные проекты разовым консультациям и приветствуем формальные соглашения с университетами и редакциями.

Журналам и издательствам

Editorial Tools для редакций: проверка корректности ссылок и DOI, выявление выдуманных ссылок в библиографии (типичный сбой LLM), верификация формальных утверждений в препринтах, семантическое индексирование каталога публикаций. Интеграция пилотным журналам — на условиях совместной публикации результатов внедрения. Контакт: info@scilibai.ru.

Университетам

Учебные курсы по формальной математике в Lean4 с реальной интеграцией Mathlib и Graph RAG в практику; разработка лабораторных работ; on-premise развёртывание для исследовательских групп; совместные исследовательские проекты по подбору лемм, автоматизированной верификации доказательств и цифровым библиотекам.

Исследователям

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

Разработчикам

Публичные API без ключей: /grag/search, /grag/check, /mcp/tools/*. Документация — в разделе Лаборатория и в блоге.

Контакт: info@scilibai.ru