AITypeScript★ 210
yogthos/chiasmus
CHIASMUS — MCP-СЕРВЕР ДЛЯ ФОРМАЛЬНОЙ ВЕРИФИКАЦИИ
Chiasmus — MCP-сервер, предоставляющий языковым моделям доступ к инструментам формальной верификации. Он преобразует запросы в формальные спецификации и генерирует доказательства с использованием Coq, Isabelle, Lean через MCP.
// КЛЮЧЕВЫЕ ОСОБЕННОСТИ
- Преобразует естественные запросы в формальные спецификации для проверки.
- Интегрируется с популярными доказателями теорем (Coq, Isabelle, Lean) через MCP.
- Предоставляет API для автоматической генерации доказательств и контрпримеров.
- Поддерживает TypeScript-клиенты и совместим с любыми LLM-агентами.
#ai-agents#ai-assistant#ai-tools#formalmethods#llm#mcp#mcp-server#prolog#z3-smt-solver
Открыть на GitHub →Новые репозитории каждые 30 минут
REDDYX AI сканирует GitHub 24/7 и присылает лучшие AI/ML/Web3 проекты в Telegram.
Подписаться в Telegram