NumProof
Deterministic signed verification of numeric & financial claims for AI agents & spreadsheets.
¿Debería usar esto?
Calidad y seguridad
Hallazgos (1)
- LOWTool 'diff_rows' description lacks action verben diff_rows
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"numproof": {
"command": "uvx",
"args": [
"numproof"
]
}
}
}Paquetes ejecutables
0.1.1stdioPuntos de conexión remotos
https://numproof.com/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (4)
⚪verify_claim(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.
Esquema de entrada
{
"type": "object",
"properties": {
"claim": {
"type": "string"
}
},
"required": [
"claim"
]
}⚪audit_rows(rows)
Audit spreadsheet-like rows for footing, balance-sheet ties, common margins, and cell provenance.
Esquema de entrada
{
"type": "object",
"properties": {
"rows": {
"type": "array"
}
},
"required": [
"rows"
]
}⚪diff_rows(rows_before, rows_after)
Compare two report versions by numeric row labels with provenance.
Esquema de entrada
{
"type": "object",
"properties": {
"rows_before": {
"type": "array"
},
"rows_after": {
"type": "array"
}
},
"required": [
"rows_before",
"rows_after"
]
}⚪covenant_rules(rows, rules, rule_pack)
Evaluate threshold/covenant rules over spreadsheet-like rows with provenance. Use either rules or rule_pack.
Esquema de entrada
{
"type": "object",
"properties": {
"rows": {
"type": "array"
},
"rules": {
"type": "array"
},
"rule_pack": {
"type": "string"
}
},
"required": [
"rows"
]
}Comunidad
Evidencia