Atomadic Forge
Architecture compiler for AI code.
От сообщества: Добавлен пользователем или импортирован; проверьте владельца перед подключениемНе отвечаетБез входаГлобальныйБесплатноТолько чтение
Что умеет
Какие данные видит
Нужен ли аккаунт
Не нужен: сервер работает без входа
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Инструменты ещё не получены: сервер требует вход, список появится после ручной проверки.