ExtensityAI/symbolicai

Нейросимволический взгляд на LLM

Инструменты⭐ 1 772Pythonпоследний релиз: 2.1.1
Открыть на GitHub ↗

Что это за инструмент

SymbolicAI — это нейросимволический фреймворк, объединяющий классический Python с возможностями LLM через объекты Symbol, поддерживающие как синтаксическую, так и семантическую обработку.

Зачем нужен

Инструмент решает проблему галлюцинаций LLM и сложности интеграции ИИ в традиционный код, позволяя использовать естественные операторы Python для семантических операций. Он полезен для создания надежных систем, где важна точность и предсказуемость, за счет внедрения принципов Design by Contract.

Что можно реализовать

  • Создание цепочек рассуждений (reasoning chains), где семантические операции чередуются с синтаксическими проверками
  • Валидация и очистка данных от LLM с использованием Pydantic-моделей и контрактов
  • Построение кастомных AI-агентов с поддержкой внешних инструментов (поиск, генерация изображений)
  • Семантический поиск и кластеризация данных с использованием встроенных методов подобия и HDBSCAN

Ключевые возможности

  • Двойная природа Symbol: синтаксическая (быстрая, как обычный Python) и семантическая (понимающая контекст)
  • Встроенная поддержка Design by Contract для предотвращения галлюцинаций и обеспечения корректности вывода
  • Гибкая архитектура: возможность писать собственные движки (engines) и хостить их локально
  • Естественная интеграция в Python-код через перегрузку операторов и dot-notation методы

👤 Кому подойдёт: разработчики, исследователи в области AI, инженеры, строящие надежные LLM-приложения с требованиями к детерминизму и валидации

Релизы

2.1.1minor
🕐 5 дн назад · релиз на GitHub ↗

Добавлена поддержка gpt-6-astra и улучшена работа с кэшированием и системными блоками в движках OpenAI и Anthropic.

  • Added: Добавлена модель gpt-6-astra с поддержкой 1.05M контекста, усилий рассуждения и явных точек кэширования промптов.
  • Added: В движке Anthropic реализован прямой пропуск функции complete() с сохранением порядка блоков, подписей мышления и redacted_thinking.
  • Added: В ModelPricing добавлена ставка cache_write для провайдеров, тарифицирующих запись кэша выше базовой ставки ввода.
  • Fixed: Движок OpenAI теперь локально валидирует reasoning.effort по спецификации модели, избегая HTTP 400.
  • Deprecated: Удалена обертка long_context_1m в движке Anthropic; 1M контекст стал стандартным, старый заголовок можно передать через extra_headers.
2.1.0minor
🕐 1 мес назад · релиз на GitHub ↗

Добавлен движок OrcaRouter и модель Claude Opus 5; улучшена логика работы с мышлением в моделях Claude.

  • Added: Добавлен движок OrcaRouter через endpoint orcarouter:orcarouter/auto.
  • Added: В движок Anthropic добавлена поддержка модели Claude Opus 5.
  • Fixed: Для моделей Claude без лимита бюджета мышление теперь принудительно переводится в адаптивный режим.
  • Fixed: При явном запросе отключения мышления для модели Claude Fable 5 оно больше не выводится.