agent-formal-verify 0.4.1 → 0.4.2

package/CHANGES.md

@@ -1,5 +1,9 @@
 # Changes
 
+## 0.4.2 - OpenCode skips stray folders and rejects incomplete skills
+
+The OpenCode plugin read every folder under `skills/` as a skill, so one folder without a `SKILL.md`, such as a scratch folder in a local checkout, failed the plugin and registered neither skill. It now skips such folders, as Pi does. A `SKILL.md` without a `name` or `description` used to register with that field undefined; the plugin now fails with the file's path and the missing field. A single-quoted `description` lost nothing but kept its quotes; it now reads as YAML does. The two bundled skills register exactly as before.
+
 ## 0.4.1 - install from npm
 
 The package is publishable to npm as `agent-formal-verify`, so Pi installs it with `pi install npm:agent-formal-verify` and OpenCode with `opencode plugin add agent-formal-verify`. A `files` allowlist limits the tarball to `opencode.mjs`, `skills/`, the license, the README and the changelog, which drops it from 77 files and 2.86 MB to 34 files and 59 kB; it leaves out the README artwork, tests, CI configuration and the Claude Code and Codex manifests. A Lean build cache under `skills/` stays out. The metadata test pins the allowlist and fails when a new root file is neither shipped nor listed as repository-only. Pushing a `v*` tag runs a workflow that checks the tag against the package version, runs the metadata tests and publishes with npm trusted publishing and provenance; it skips a version that is already on npm. The skills, the OpenCode plugin and the Git installs are unchanged.

package/opencode.mjs

@@ -5,27 +5,33 @@ import { fileURLToPath } from "node:url";
 
 const skills = new URL("./skills/", import.meta.url);
 
-function parse(text) {
+function parse(text, path) {
   const match = text.replaceAll("\r\n", "\n").match(/^---\n([\s\S]*?)\n---\n([\s\S]*)$/);
-  if (!match) throw new Error("SKILL.md has no frontmatter");
+  if (!match) throw new Error(`${path} has no frontmatter`);
   const field = (key) => {
     const value = match[1].match(new RegExp(`^${key}: (.+)$`, "m"))?.[1];
-    return value?.startsWith('"') ? JSON.parse(value) : value;
+    if (value === undefined) throw new Error(`${path} has no ${key}`);
+    if (value.startsWith('"')) return JSON.parse(value);
+    if (value.startsWith("'")) return value.slice(1, -1).replaceAll("''", "'");
+    return value;
   };
   return { name: field("name"), description: field("description"), content: match[2] };
 }
 
 async function load() {
   const entries = await readdir(skills, { withFileTypes: true });
-  return Promise.all(
+  const found = await Promise.all(
     entries
       .filter((entry) => entry.isDirectory())
       .map(async ({ name }) => {
-        const file = new URL(`${name}/SKILL.md`, skills);
-        const skill = parse(await readFile(file, "utf8"));
-        return { id: name, ...skill, autoinvoke: true, path: fileURLToPath(file) };
+        const path = fileURLToPath(new URL(`${name}/SKILL.md`, skills));
+        const text = await readFile(path, "utf8").catch((error) => {
+          if (error.code !== "ENOENT") throw error;
+        });
+        return text && { id: name, ...parse(text, path), autoinvoke: true, path };
       }),
   );
+  return found.filter(Boolean);
 }
 
 export default {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "agent-formal-verify",
-  "version": "0.4.1",
+  "version": "0.4.2",
   "description": "Model-check protocols with TLA+, prove invariants with Lean 4, and check bounded Rust functions with Kani.",
   "author": {
     "name": "Michael Denyer",