Collaboration

The SciLib lab is open to collaboration on several levels. We prefer substantial joint projects to one-off consulting and welcome formal agreements with universities and editorial boards.

For journals and publishers

Editorial Tools for editorial boards: reference and DOI validation, detection of fabricated bibliographic entries (a typical LLM failure mode), verification of formal statements in preprints, semantic indexing of the publication catalogue. Pilot integration with journals on terms of joint publication of the case study. Contact: info@scilibai.ru.

For universities

Courses on formal mathematics in Lean4 with real integration of Mathlib and Graph RAG into the curriculum; lab assignments; on-premise deployments for research groups; joint research on premise retrieval, automated proof verification and digital libraries.

For researchers

Open tools are available without registration. We welcome guest blog posts, joint publications, help with formalizing your results in Lean4, and integration of your datasets into the SciLib ontology.

For developers

Public APIs without keys: /grag/search, /grag/check, /mcp/tools/*. Documentation in the Lab section and on the blog.

Contact: info@scilibai.ru