Leanstral
ПровереноLeanstral — открытая модель Mistral AI для программного доказательства теорем и формальной проверки кода на Lean 4.
Leanstral — открытая модель Mistral AI для программного доказательства теорем и формальной проверки кода на Lean 4.
Nemotron 3 Content Safety — мультимодальная модель NVIDIA для проверки текста, изображений и ответов на безопасность.

Создаёт голосового ИИ-клона на основе ваших материалов для диалогов и сбора заявок.

Создаёт визуализации ремонта и виртуального оформления интерьера по реальным фотографиям.
Открытая модель Mistral для задач, где важно сочетать скорость, рассуждение, изображения и вызов инструментов.
GR00T N1.7 — модель NVIDIA для роботов с новой визуально-языковой основой и адаптацией движений под разные платформы.

Автоматизирует входящие и исходящие бизнес-звонки с передачей разговора оператору при необходимости.
Qwen3.5-Omni-Plus — облачная модель Alibaba для анализа текста, изображений, аудио и видео с текстовым и речевым ответом.
Protein Target 160M — версия Proteina-Complexa для генерации белковых связующих к заданным белковым мишеням.
Qwen3.5-Omni-Flash — облачная модель Alibaba для анализа текста, изображений, аудио и видео с текстовым и речевым ответом.
Ligand Target 160M — версия Proteina-Complexa для генерации белковых связующих к заданной малой молекуле.

API распознаёт речь в реальном времени и асинхронно, выделяя имена, числа и адреса электронной почты.