panal-mcp 0.4.0 → 0.5.0

package/dist/fetch-result.d.ts

@@ -37,5 +37,23 @@ export declare function briefSignMessage(taskId: bigint): string;
  * pago YA está bloqueado, así que lo útil es contarlo, no romper.
  */
 export declare function pushBrief(botUrl: string, taskId: bigint, brief: string, client: string, signature: string): Promise<string | null>;
+/**
+ * Los límites que el agente publica en su tarjeta (GET /agent.json).
+ *
+ * Existe para no descubrir un límite pagando. El encargo se entrega DESPUÉS de
+ * crear la tarea en la cadena —la firma va atada al taskId, que hasta entonces
+ * no existe—, así que un brief que el agente rechaza deja el pago bloqueado por
+ * una tarea que no puede empezar. Preguntando antes, eso se convierte en un
+ * presupuesto que no se emite y no cuesta nada.
+ *
+ * `maxBriefChars: null` significa NO LO SÉ, y no «no hay límite»: los agentes
+ * de la plantilla publican una tarjeta distinta que no declara ninguno. Quien
+ * llame tiene que poder distinguir las dos cosas, porque tratar «no lo sé» como
+ * «no hay tope» es volver a averiguarlo pagando.
+ */
+export declare function parseMaxBriefChars(card: unknown): number | null;
+export declare function fetchAgentLimits(botUrl: string): Promise<{
+    maxBriefChars: number | null;
+}>;
 /** Descarga acotada: se corta en cuanto se pasa del tope. */
 export declare function fetchResultText(botUrl: string, taskId: bigint, client: string, signature: string, expira: number): Promise<string>;

package/dist/fetch-result.js

@@ -87,6 +87,55 @@ export async function pushBrief(botUrl, taskId, brief, client, signature) {
         clearTimeout(timer);
     }
 }
+/**
+ * Los límites que el agente publica en su tarjeta (GET /agent.json).
+ *
+ * Existe para no descubrir un límite pagando. El encargo se entrega DESPUÉS de
+ * crear la tarea en la cadena —la firma va atada al taskId, que hasta entonces
+ * no existe—, así que un brief que el agente rechaza deja el pago bloqueado por
+ * una tarea que no puede empezar. Preguntando antes, eso se convierte en un
+ * presupuesto que no se emite y no cuesta nada.
+ *
+ * `maxBriefChars: null` significa NO LO SÉ, y no «no hay límite»: los agentes
+ * de la plantilla publican una tarjeta distinta que no declara ninguno. Quien
+ * llame tiene que poder distinguir las dos cosas, porque tratar «no lo sé» como
+ * «no hay tope» es volver a averiguarlo pagando.
+ */
+export function parseMaxBriefChars(card) {
+    const max = card?.endpoints?.postBrief
+        ?.maxBriefChars;
+    // La tarjeta la sirve un desconocido: solo un entero positivo cuenta. Un 0 o
+    // un negativo harían imposible cualquier encargo, y eso lo decide el agente
+    // cambiando su tope, no mandando basura en un campo.
+    return typeof max === 'number' && Number.isInteger(max) && max > 0 ? max : null;
+}
+export async function fetchAgentLimits(botUrl) {
+    const desconocido = { maxBriefChars: null };
+    let url;
+    try {
+        const base = await assertPublicUrl(botUrl);
+        url = new URL('/agent.json', base);
+    }
+    catch {
+        return desconocido;
+    }
+    const controller = new AbortController();
+    const timer = setTimeout(() => controller.abort(), TIMEOUT_MS);
+    try {
+        const res = await fetch(url, { signal: controller.signal, redirect: 'error' });
+        if (!res.ok)
+            return desconocido;
+        return { maxBriefChars: parseMaxBriefChars(await res.json()) };
+    }
+    catch {
+        // Un agente sin tarjeta, o que tarda, no impide contratarlo: solo deja el
+        // límite sin comprobar. Fallar aquí seria peor que el problema.
+        return desconocido;
+    }
+    finally {
+        clearTimeout(timer);
+    }
+}
 /** Descarga acotada: se corta en cuanto se pasa del tope. */
 export async function fetchResultText(botUrl, taskId, client, signature, expira) {
     const base = await assertPublicUrl(botUrl);

package/dist/server.js

@@ -30,7 +30,7 @@ import { formatEther, isAddress, keccak256, parseEther, toBytes } from 'viem';
 import { privateKeyToAccount } from 'viem/accounts';
 import { NATIVE_CURRENCY, TaskStatus, createPanalClient, } from '@panal/sdk';
 import { QuoteBook, SpendLedger, limitsFromEnv } from './limits.js';
-import { briefSignMessage, expiraEn, fetchResultText, pushBrief, resultSignMessage } from './fetch-result.js';
+import { briefSignMessage, expiraEn, fetchAgentLimits, fetchResultText, pushBrief, resultSignMessage, } from './fetch-result.js';
 const SERVER_NAME = 'panal';
 /**
  * Sale del package.json, no de una constante a mano: la copiada se quedó en
@@ -106,13 +106,25 @@ function daysSince(ts) {
  *
  * Va en la ficha y no en un campo aparte porque quien lee esto elige por su
  * cuenta, y lo que no está delante no se mira.
+ *
+ * `verificado` tiene TRES estados y aquí se dicen los tres. `undefined` no es
+ * un «no»: es que por esta ruta no se ha mirado —la ficha viene de la cadena,
+ * que no guarda verificaciones de dominio—, o el agente cambió de endpoint y
+ * lo de antes ya no dice nada de la URL nueva. Contarlo como «no verificado»
+ * acusaba en falso a agentes que sí lo están, y hacía que dos herramientas del
+ * mismo servidor afirmaran lo contrario la una de la otra sobre el mismo
+ * agente: marketplace_stats lee la cadena y search_agents el indexador. Una
+ * insignia que se contradice consigo misma no sirve para lo único que sirve
+ * una insignia, que es decidir.
  */
 function trustLine(agent) {
     const partes = [];
     if (agent.verificado === true)
         partes.push('domain verified (its endpoint declares this same address)');
-    else
+    else if (agent.verificado === false)
         partes.push('DOMAIN NOT VERIFIED — the name alone proves nothing about who this is');
+    else
+        partes.push('domain NOT CHECKED on this listing — it was read from the chain, which does not record verification; the name alone proves nothing about who this is');
     if (agent.nombre && agent.nombre.origen !== 'reclamado') {
         const dias = Math.round(daysSince(agent.nombre.desdeTs));
         if (dias <= 30) {
@@ -323,12 +335,21 @@ const WRITE_TOOLS = [
             const address = account.address;
             const [balance, spent] = [await panal.publicClient.getBalance({ address }), ledger.spentToday()];
             const left = limits.dailyBudgetWei > spent ? limits.dailyBudgetWei - spent : 0n;
+            // Lo acreditado en el escrow no aparece en el balance de la wallet: es
+            // pull payment, así que un reembolso se queda ahí quieto hasta que se
+            // reclama. Sin decirlo, el dinero devuelto es indistinguible del perdido.
+            const pending = await panal.getPendingWithdrawal(address).catch(() => 0n);
             return [
                 `Wallet: ${address}`,
                 `Balance: ${formatEther(balance)} MON`,
                 `Per-job cap: ${formatEther(limits.maxPerTaskWei)}`,
                 `Today's budget: spent ${formatEther(spent)} of ${formatEther(limits.dailyBudgetWei)} · ${formatEther(left)} left`,
-            ].join('\n');
+                pending > 0n
+                    ? `Waiting in the escrow: ${formatEther(pending)} MON — collect it with panal_withdraw`
+                    : null,
+            ]
+                .filter(Boolean)
+                .join('\n');
         },
     },
     {
@@ -367,6 +388,19 @@ const WRITE_TOOLS = [
                 return (`That would blow today's budget: ${formatEther(spent)} of ${formatEther(limits.dailyBudgetWei)} spent ` +
                     `and this costs ${formatEther(amount)} ${symbol}.`);
             }
+            // El tope del brief se pregunta ANTES de presupuestar. Si no cabe, el
+            // agente lo rechazaría con un 400 al recibirlo — pero eso ocurre ya con
+            // el pago bloqueado, porque el encargo se entrega después de crear la
+            // tarea. Aquí no cuesta nada y evita dejar dinero atrapado hasta que
+            // vence el plazo.
+            if (agent.metadata.botUrl) {
+                const { maxBriefChars } = await fetchAgentLimits(agent.metadata.botUrl);
+                if (maxBriefChars !== null && brief.length > maxBriefChars) {
+                    return (`That job does not fit: ${agent.metadata.name || address} accepts ${maxBriefChars} characters ` +
+                        `and this brief is ${brief.length}. Nothing was quoted and nothing was spent. ` +
+                        `Shorten it by ${brief.length - maxBriefChars} characters and ask again.`);
+                }
+            }
             const quote = quotes.issue({
                 kind: 'hire',
                 worker: agent.address,
@@ -676,6 +710,113 @@ const WRITE_TOOLS = [
             }
         },
     },
+    {
+        name: 'panal_cancel_task',
+        description: 'Cancel a job that never started and get the locked payment back. Only works on a task that was ' +
+            'never delivered, and only once its deadline has passed (or no agent was ever assigned). ' +
+            'The refund is CREDITED, not sent: call panal_withdraw afterwards to actually receive it.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                task_id: { type: 'number', description: 'Id of the task to cancel.' },
+                confirmed_by_user: { type: 'boolean', description: 'true only if the person asked to cancel it.' },
+            },
+            required: ['task_id', 'confirmed_by_user'],
+        },
+        handler: async (args) => {
+            const blocked = writesBlockedReason();
+            if (blocked)
+                return blocked;
+            if (args.confirmed_by_user !== true) {
+                return 'I will not cancel a job without confirmed_by_user: true.';
+            }
+            const id = Number(args.task_id);
+            if (!Number.isInteger(id) || id < 0)
+                return 'The task id is an integer.';
+            try {
+                const hash = await panal.cancelTask(BigInt(id));
+                return [
+                    `Task #${id} cancelled and the payment refunded.`,
+                    `  tx: ${EXPLORER}/tx/${hash}`,
+                    '',
+                    'The refund is credited in the escrow, not in the wallet yet: call panal_withdraw to collect it.',
+                ].join('\n');
+            }
+            catch (err) {
+                return `Could not cancel: ${err instanceof Error ? err.message : err}`;
+            }
+        },
+    },
+    {
+        name: 'panal_open_dispute',
+        description: 'Dispute a delivered result and STOP the clock. If nobody approves or disputes, the escrow pays ' +
+            'the agent on its own 3 days after delivery, with an implicit 5/5 — so doing nothing is not ' +
+            'neutral, it pays. An arbitrator then splits the amount; if they do not act in 14 days, the ' +
+            'client can be refunded in full. Use it when the delivery is wrong or never arrived.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                task_id: { type: 'number', description: 'Id of the delivered task.' },
+                confirmed_by_user: { type: 'boolean', description: 'true only if the person asked to dispute it.' },
+            },
+            required: ['task_id', 'confirmed_by_user'],
+        },
+        handler: async (args) => {
+            const blocked = writesBlockedReason();
+            if (blocked)
+                return blocked;
+            if (args.confirmed_by_user !== true) {
+                return 'I will not open a dispute without confirmed_by_user: true. Show the person the result first.';
+            }
+            const id = Number(args.task_id);
+            if (!Number.isInteger(id) || id < 0)
+                return 'The task id is an integer.';
+            try {
+                const hash = await panal.openDispute(BigInt(id));
+                return [
+                    `Dispute opened on task #${id}. The automatic release is stopped.`,
+                    `  tx: ${EXPLORER}/tx/${hash}`,
+                    '',
+                    'An arbitrator decides how to split it. If nobody resolves it within 14 days, the whole amount',
+                    'can be refunded to the client.',
+                ].join('\n');
+            }
+            catch (err) {
+                return `Could not open the dispute: ${err instanceof Error ? err.message : err}`;
+            }
+        },
+    },
+    {
+        name: 'panal_withdraw',
+        description: 'Collect what the escrow owes this wallet — refunds from cancelled jobs. The escrow is pull ' +
+            'payment: it credits balances and never pushes them, so money sits there until this is called. ' +
+            'Call panal_wallet first to see whether there is anything to collect.',
+        inputSchema: {
+            type: 'object',
+            properties: {
+                confirmed_by_user: { type: 'boolean', description: 'true only if the person asked to collect it.' },
+            },
+            required: ['confirmed_by_user'],
+        },
+        handler: async (args) => {
+            const blocked = writesBlockedReason();
+            if (blocked)
+                return blocked;
+            if (args.confirmed_by_user !== true) {
+                return 'I will not move funds without confirmed_by_user: true.';
+            }
+            try {
+                const pending = await panal.getPendingWithdrawal(account.address);
+                if (pending === 0n)
+                    return 'The escrow owes this wallet nothing: there is nothing to collect.';
+                const hash = await panal.withdraw();
+                return `Collected ${formatEther(pending)} MON from the escrow.\n  tx: ${EXPLORER}/tx/${hash}`;
+            }
+            catch (err) {
+                return `Could not withdraw: ${err instanceof Error ? err.message : err}`;
+            }
+        },
+    },
 ];
 /** Las de escritura se anuncian siempre: si no, el modelo no sabe que existen. */
 const TOOLS = [...READ_TOOLS, ...WRITE_TOOLS];

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "panal-mcp",
-  "version": "0.4.0",
+  "version": "0.5.0",
   "description": "Servidor MCP de Panal: busca y contrata agentes de IA on-chain desde Claude",
   "type": "module",
   "license": "MIT",
@@ -30,7 +30,7 @@
     "node": ">=20"
   },
   "dependencies": {
-    "@panal/sdk": "^0.8.0",
+    "@panal/sdk": "^0.9.0",
     "viem": "^2.21.0"
   },
   "devDependencies": {
@@ -41,6 +41,7 @@
     "build": "tsc -p tsconfig.json",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "start": "tsx src/server.ts",
-    "test": "tsx test/mcp.test.ts"
+    "test": "tsx test/mcp.test.ts",
+    "test:limites": "tsx test/limites.test.ts"
   }
 }