From 088c43e4aa6d668726d883e7529bea87cdb89ef1 Mon Sep 17 00:00:00 2001
From: Levi Neely <lkn@darkstar.example.net>
Date: Sat, 11 Apr 2026 16:23:53 +0200
Subject: [PATCH] tools: remove discover_skill.sh and load_skill.sh helper
 scripts

Plain file operations on $OLLIE_9MOUNT/sk/ replace these. Remove the
tools/ directory and the mkfile step that installed them.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
---
 README.md               |  2 +-
 mkfile                  |  2 --
 tools/discover_skill.sh | 28 ----------------------------
 tools/load_skill.sh     | 15 ---------------
 4 files changed, 1 insertion(+), 46 deletions(-)
 delete mode 100755 tools/discover_skill.sh
 delete mode 100755 tools/load_skill.sh

diff --git a/README.md b/README.md
index e1defbd..5ad2d2c 100644
--- a/README.md
+++ b/README.md
@@ -227,7 +227,7 @@ A session can spawn ephemeral child sessions to handle a focused task, then tear
 Input  (stdin):  JSON array of {"task": str, "agent": str, "context": str}
 Output (stdout): JSON array of {"agent": str, "reply": str}
 
-Install in $OLLIE_TOOLS_PATH to make available via execute_tool.
+Install in ~/.local/share/ollie/tools/ to make available via execute_tool.
 """
 
 import json, os, sys, threading, time
diff --git a/mkfile b/mkfile
index c6c9092..0228b6c 100644
--- a/mkfile
+++ b/mkfile
@@ -6,8 +6,6 @@ build:V:
 	go build -o $INSTALL_PATH/olliesrv .
 
 install:V: build
-	mkdir -p $HOME/.local/share/ollie/tools
-	cp -f tools/* $HOME/.local/share/ollie/tools/
 
 clean:V:
 	rm -f $INSTALL_PATH/olliesrv
diff --git a/tools/discover_skill.sh b/tools/discover_skill.sh
deleted file mode 100755
index 1f1e518..0000000
--- a/tools/discover_skill.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/bash
-# description: Discover available skills by keyword
-set -euo pipefail
-
-if [ $# -ne 1 ]; then
-  echo "Usage: discover_skill <keyword>" >&2
-  exit 1
-fi
-
-OLLIE="${OLLIE_9MOUNT:-$HOME/mnt/ollie}"
-keyword="$1"
-results=""
-
-for file in "$OLLIE/sk"/*.md; do
-  [ -f "$file" ] || continue
-  name=$(basename "$file" .md)
-  if grep -qi "$keyword" "$file"; then
-    desc=$(grep -m1 '^description:' "$file" | sed 's/^description: *//')
-    results="${results:+$results
-}$name	$desc"
-  fi
-done
-
-if [ -n "$results" ]; then
-  echo "$results" | sort -u
-else
-  echo "No skills found matching: $keyword"
-fi
diff --git a/tools/load_skill.sh b/tools/load_skill.sh
deleted file mode 100755
index 2b5d9e4..0000000
--- a/tools/load_skill.sh
+++ /dev/null
@@ -1,15 +0,0 @@
-#!/bin/bash
-# description: Load a skill's SKILL.md by name
-set -euo pipefail
-
-if [ $# -lt 1 ]; then
-  echo "Usage: load_skill <skill-name> [skill-name...]" >&2
-  exit 1
-fi
-
-OLLIE="${OLLIE_9MOUNT:-$HOME/mnt/ollie}"
-
-for arg in "$@"; do
-  name="${arg##*/}"
-  cat "$OLLIE/sk/${name}.md"
-done