From 450a5ba7b9886a2128b6a6cc41ab664c44a545bc Mon Sep 17 00:00:00 2001
From: Levi Neely <lkn@darkstar.example.net>
Date: Tue, 14 Apr 2026 13:02:27 +0200
Subject: [PATCH] =?UTF-8?q?tools:=20remove=20tools.sh=20=E2=80=94=20discov?=
 =?UTF-8?q?ery=20now=20handled=20by=20prompt=20injection?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 tools/tools.sh | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 tools/tools.sh

diff --git a/tools/tools.sh b/tools/tools.sh
deleted file mode 100644
index 6523496..0000000
--- a/tools/tools.sh
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/bin/bash
-# description: List all available tools with their descriptions and usage
-set -euo pipefail
-
-OLLIE="${OLLIE_9MOUNT:-$HOME/mnt/ollie}"
-
-for f in "$OLLIE/t/"*; do
-    [ -f "$f" ] || continue
-    name=$(basename "$f")
-    desc=$(grep -m1 "^# description:" "$f" 2>/dev/null | sed 's/^# description: *//')
-    args=$(grep -m1 "^# [Aa]rgs:" "$f" 2>/dev/null | sed 's/^# [Aa]rgs: *//')
-    printf '%-28s %s\n' "$name" "$desc"
-    [ -n "$args" ] && printf '%-28s Args: %s\n' "" "$args"
-done