panal-mcp 0.4.1 → 0.5.1

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
@@ -125,10 +125,21 @@ function trustLine(agent) {
         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) {
-            partes.push(`its name "${agent.nombre.nombre}" changed hands ${dias}d ago — reputation stays with the previous owner`);
+    // El nombre unico se dice SIEMPRE que lo haya. Es la unica prueba de
+    // identidad que vive en la cadena: el nombre del perfil es texto libre y se
+    // repite —hay tres direcciones anunciandose como "LexPanal"— mientras que
+    // este lo tiene una sola. Y a diferencia del dominio, no depende de que el
+    // indexador este vivo para poder afirmarlo.
+    if (agent.nombre) {
+        partes.push(`holds the unique name "${agent.nombre.nombre}" in PanalNames`);
+        // La advertencia solo con origen CONOCIDO y distinto de reclamado. Sin
+        // dato no se avisa: `undefined` seria «no lo se», y convertirlo en una
+        // acusacion de compra reciente es inventarse la mitad que importa.
+        if (agent.nombre.origen && agent.nombre.origen !== 'reclamado') {
+            const dias = Math.round(daysSince(agent.nombre.desdeTs));
+            if (dias <= 30) {
+                partes.push(`its name "${agent.nombre.nombre}" changed hands ${dias}d ago — reputation stays with the previous owner`);
+            }
         }
     }
     return `  Trust: ${partes.join('; ')}`;
@@ -335,12 +346,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');
         },
     },
     {
@@ -379,6 +399,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,
@@ -688,6 +721,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.1",
+  "version": "0.5.1",
   "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.10.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"
   }
 }