@manuelfedele/postino 0.2.1 → 0.3.0

package/dist/tools/messaging.js

@@ -1,5 +1,5 @@
 import { z } from "zod";
-import { valkey, keys, publishEvent, getOnlineAgents, renameAgent } from "../valkey.js";
+import { valkey, keys, publishEvent, getOnlineAgents, renameAgent, cleanupStaleAgents } from "../valkey.js";
 import { loadConfig } from "../types.js";
 const config = loadConfig();
 // Mutable agent identity so msg_rename can update it
@@ -273,4 +273,23 @@ export function registerMessagingTools(server, initialName) {
                 }],
         };
     });
+    server.registerTool("msg_cleanup", {
+        title: "Cleanup Stale Agents",
+        description: [
+            "Remove offline agents with empty inboxes from the agents list.",
+            "Agents are auto-cleaned on shutdown, but this tool handles stragglers",
+            "(e.g. crashed processes that never ran their shutdown handler).",
+        ].join(" "),
+        inputSchema: {},
+    }, async () => {
+        const removed = await cleanupStaleAgents();
+        return {
+            content: [{
+                    type: "text",
+                    text: removed.length > 0
+                        ? `Removed ${removed.length} stale agent(s): ${removed.join(", ")}`
+                        : "No stale agents to clean up",
+                }],
+        };
+    });
 }

package/dist/valkey.d.ts

@@ -16,5 +16,6 @@ export declare function disconnect(): Promise<void>;
 export declare function publishEvent(type: string, data: Record<string, unknown>): Promise<void>;
 export declare function registerAgent(name: string): Promise<void>;
 export declare function deregisterAgent(name: string): Promise<void>;
+export declare function cleanupStaleAgents(): Promise<string[]>;
 export declare function renameAgent(oldName: string, newName: string): Promise<void>;
 export declare function getOnlineAgents(): Promise<string[]>;

package/dist/valkey.js

@@ -61,8 +61,30 @@ export async function deregisterAgent(name) {
     if (heartbeatTimer)
         clearInterval(heartbeatTimer);
     await valkey.del(keys.agentInfo(name));
+    // Auto-cleanup: remove from agents set if inbox is empty
+    const inboxLen = await valkey.llen(keys.inbox(name));
+    if (inboxLen === 0) {
+        await valkey.srem(keys.agents(), name);
+        await valkey.del(keys.broadcastCursor(name));
+    }
     await publishEvent("agent_offline", { agent: name });
 }
+export async function cleanupStaleAgents() {
+    const allAgents = await valkey.smembers(keys.agents());
+    const removed = [];
+    for (const name of allAgents) {
+        const online = await valkey.exists(keys.agentInfo(name));
+        if (online)
+            continue;
+        const inboxLen = await valkey.llen(keys.inbox(name));
+        if (inboxLen === 0) {
+            await valkey.srem(keys.agents(), name);
+            await valkey.del(keys.broadcastCursor(name));
+            removed.push(name);
+        }
+    }
+    return removed;
+}
 export async function renameAgent(oldName, newName) {
     // Stop heartbeat for old name
     if (heartbeatTimer)

package/dist/web/api.js

@@ -1,7 +1,22 @@
 import { Hono } from "hono";
 import { streamSSE } from "hono/streaming";
+import { readFileSync } from "node:fs";
+import { join, dirname } from "node:path";
+import { fileURLToPath } from "node:url";
 import { valkey, valkeySub, keys, publishEvent, getOnlineAgents } from "../valkey.js";
 import { loadConfig } from "../types.js";
+const __dirname = dirname(fileURLToPath(import.meta.url));
+function readVersion() {
+    try {
+        const pkgPath = join(__dirname, "..", "package.json");
+        const pkg = JSON.parse(readFileSync(pkgPath, "utf-8"));
+        return pkg.version || "0.0.0";
+    }
+    catch {
+        return "0.0.0";
+    }
+}
+const VERSION = readVersion();
 const config = loadConfig();
 export const api = new Hono();
 // --- Agents ---
@@ -80,7 +95,7 @@ api.get("/stats", async (c) => {
         messageCount += await valkey.llen(keys.inbox(a));
     }
     const broadcastCount = await valkey.llen(keys.broadcasts());
-    return c.json({ agentCount: agents.length, messageCount, broadcastCount });
+    return c.json({ version: VERSION, agentCount: agents.length, messageCount, broadcastCount });
 });
 // --- Agent-specific check (for hooks, zero-token) ---
 api.get("/check/:agent", async (c) => {

package/dist/web/public/index.html

@@ -141,7 +141,7 @@
   <div class="topbar">
     <div class="logo">
       <h1>postino</h1>
-      <span class="pill pill-muted">v0.1.0</span>
+      <span class="pill pill-muted" id="version"></span>
       <span class="pill pill-accent" id="agent-id"></span>
     </div>
     <div class="meta">
@@ -288,7 +288,7 @@ function connectSSE(){
   es.onerror=()=>{d.className='dot dot-off';t.textContent='reconnecting'};
 }
 
-async function loadStats(){const s=await api('/stats');if(!s)return;document.getElementById('stat-agents').textContent=s.agentCount+' agents';document.getElementById('stat-msg').textContent=s.messageCount+' msg';document.getElementById('stat-bc').textContent=s.broadcastCount+' bc'}
+async function loadStats(){const s=await api('/stats');if(!s)return;document.getElementById('version').textContent='v'+s.version;document.getElementById('stat-agents').textContent=s.agentCount+' agents';document.getElementById('stat-msg').textContent=s.messageCount+' msg';document.getElementById('stat-bc').textContent=s.broadcastCount+' bc'}
 
 function esc(s){if(!s)return'';const d=document.createElement('div');d.textContent=s;return d.innerHTML}
 function fmtT(i){try{const d=new Date(i),n=new Date();return d.toDateString()===n.toDateString()?d.toLocaleTimeString([],{hour:'2-digit',minute:'2-digit'}):d.toLocaleDateString([],{month:'short',day:'numeric'})+' '+d.toLocaleTimeString([],{hour:'2-digit',minute:'2-digit'})}catch{return i}}

package/dist/web/server.js

@@ -78,43 +78,31 @@ export function startWebServer(port, attempt = 0) {
 }
 export function restartOnPort(port) {
     return new Promise((resolve) => {
-        const oldServer = currentServer;
-        const oldPort = currentPort;
-        const launchNew = () => {
-            try {
-                const server = serve({ fetch: app.fetch, port }, () => {
-                    currentServer = server;
-                    currentPort = port;
-                    process.stderr.write(`postino GUI: takeover http://localhost:${port}\n`);
-                    resolve(true);
-                });
-                server.on("error", (err) => {
-                    if (err.code === "EADDRINUSE") {
-                        process.stderr.write(`postino: takeover port ${port} already claimed\n`);
-                    }
-                    else {
-                        process.stderr.write(`postino: takeover failed: ${err.message}\n`);
-                    }
-                    // Restore old state if we had one
-                    currentServer = oldServer;
-                    currentPort = oldPort;
-                    resolve(false);
-                });
-            }
-            catch {
-                currentServer = oldServer;
-                currentPort = oldPort;
+        try {
+            const server = serve({ fetch: app.fetch, port }, () => {
+                // New server started successfully, close the old one
+                const oldServer = currentServer;
+                currentServer = server;
+                currentPort = port;
+                process.stderr.write(`postino GUI: takeover http://localhost:${port}\n`);
+                if (oldServer) {
+                    oldServer.close();
+                }
+                resolve(true);
+            });
+            server.on("error", (err) => {
+                if (err.code === "EADDRINUSE") {
+                    process.stderr.write(`postino: takeover port ${port} already claimed\n`);
+                }
+                else {
+                    process.stderr.write(`postino: takeover failed: ${err.message}\n`);
+                }
+                // Old server stays running, state unchanged
                 resolve(false);
-            }
-        };
-        if (oldServer) {
-            // Close existing server first, then start on the new port
-            currentServer = null;
-            currentPort = null;
-            oldServer.close(() => launchNew());
+            });
         }
-        else {
-            launchNew();
+        catch {
+            resolve(false);
         }
     });
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@manuelfedele/postino",
-  "version": "0.2.1",
+  "version": "0.3.0",
   "description": "Inter-agent messaging and broadcast system for Claude Code",
   "type": "module",
   "main": "dist/index.js",