gonzalgo
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
От сообщества: Добавлен пользователем или импортирован; проверьте владельца перед подключениемТребует установки на компьютерБез входаГлобальныйБесплатноТолько чтение
Этот сервер работает только на вашем компьютере. Из веб-версий Claude и ChatGPT подключить его нельзя. Инструкция по установке в документации проекта.
Что умеет
Какие данные видит
Нужен ли аккаунт
Не нужен: сервер работает без входа
Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.
Requires a local install: run the server on your machine, then point your client at it.
Инструменты ещё не получены: сервер требует вход, список появится после ручной проверки.