NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
От сообщества: Добавлен пользователем или импортирован; проверьте владельца перед подключениемРаботаетБез входаГлобальныйБесплатноТолько чтение
Что умеет
Какие данные видит
Нужен ли аккаунт
Не нужен: сервер работает без входа
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
Список инструментов сервера (4)
Технические названия из tools/list. Нужны только разработчикам.
| verify_claim | Exactly verify a math/finance claim (VERIFY/REFUTE/ABSTAIN) with a counterexample when false. Use before trusting any AI-produced number, sum, percentage, or formula. |
| audit_rows | Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance. |
| diff_rows | Compare two report versions by numeric row labels with provenance. |
| covenant_rules | Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack. |