io.github.AI-BuildInfra/proof-graph
MCP-сервер proof-graph для AI-агентов, основанный на доказательствах. Позволяет проверять утверждения через сущности и граф знаний.
AIAI-BuildInfra
Подключение
Данные
official
★ 1
Активность: 13 дн. назад
Что это
MCP-сервер proof-graph для AI-агентов, основанный на доказательствах. Позволяет проверять утверждения через сущности и граф знаний.
Как подключить
В Registry нет package, endpoint или доказательной команды. Используйте официальную инструкцию по ссылке.