skill-universe 1.1.0

package/build/dev/javascript/skillc/skillc.mjs

@@ -0,0 +1,873 @@
+import * as $argv from "../argv/argv.mjs";
+import * as $io from "../gleam_stdlib/gleam/io.mjs";
+import * as $list from "../gleam_stdlib/gleam/list.mjs";
+import * as $option from "../gleam_stdlib/gleam/option.mjs";
+import { None, Some } from "../gleam_stdlib/gleam/option.mjs";
+import * as $result from "../gleam_stdlib/gleam/result.mjs";
+import * as $string from "../gleam_stdlib/gleam/string.mjs";
+import * as $simplifile from "../simplifile/simplifile.mjs";
+import { Ok, Error, Empty as $Empty } from "./gleam.mjs";
+import * as $compiler from "./skillc/compiler.mjs";
+import * as $config from "./skillc/config.mjs";
+import * as $error from "./skillc/error.mjs";
+import * as $importer from "./skillc/importer.mjs";
+import * as $parser from "./skillc/parser.mjs";
+import * as $provider from "./skillc/provider.mjs";
+import * as $registry from "./skillc/registry.mjs";
+import * as $scaffold from "./skillc/scaffold.mjs";
+import * as $semver from "./skillc/semver.mjs";
+import * as $types from "./skillc/types.mjs";
+import * as $version_constraint from "./skillc/version_constraint.mjs";
+import { halt } from "./skillc_ffi.mjs";
+
+export function version() {
+  return "1.1.0";
+}
+
+function do_init(skill_dir, name) {
+  let $ = $scaffold.init_skill(skill_dir, name);
+  if ($ instanceof Ok) {
+    return new Ok((("Created skill '" + name) + "' in ") + skill_dir);
+  } else {
+    let err = $[0];
+    return new Error("Error: " + $error.to_string(err));
+  }
+}
+
+function do_publish(skill_dir, repo) {
+  let _pipe = $registry.publish(skill_dir, repo);
+  return $result.map_error(
+    _pipe,
+    (err) => { return "Error: " + $error.to_string(err); },
+  );
+}
+
+function do_publish_infer(skill_dir) {
+  let $ = $registry.infer_repo(skill_dir);
+  if ($ instanceof Ok) {
+    let repo = $[0];
+    return do_publish(skill_dir, repo);
+  } else {
+    let err = $[0];
+    return new Error("Error: " + $error.to_string(err));
+  }
+}
+
+function do_search(query) {
+  let _pipe = $registry.search(query);
+  return $result.map_error(
+    _pipe,
+    (err) => { return "Error: " + $error.to_string(err); },
+  );
+}
+
+function do_install(spec, target, output_dir) {
+  let _pipe = $registry.install(spec, target, output_dir);
+  return $result.map_error(
+    _pipe,
+    (err) => { return "Error: " + $error.to_string(err); },
+  );
+}
+
+function do_list_versions(repo, skill_name) {
+  let _pipe = $registry.list_versions(repo, skill_name);
+  return $result.map_error(
+    _pipe,
+    (err) => { return "Error: " + $error.to_string(err); },
+  );
+}
+
+function do_list_installed(output_dir) {
+  let _pipe = $registry.list_installed(output_dir);
+  return $result.map_error(
+    _pipe,
+    (err) => { return "Error: " + $error.to_string(err); },
+  );
+}
+
+function do_import(source, provider_str, output_dir) {
+  return $result.try$(
+    (() => {
+      if (provider_str instanceof Some) {
+        let p = provider_str[0];
+        let $ = $types.provider_from_string(p);
+        if ($ instanceof Ok) {
+          let provider = $[0];
+          return new Ok(new Some(provider));
+        } else {
+          return new Error(
+            (("Error: Unknown provider '" + p) + "'. Use ") + $types.all_provider_names(),
+          );
+        }
+      } else {
+        return new Ok(new None());
+      }
+    })(),
+    (provider_hint) => {
+      let $ = $importer.import_skill(source, provider_hint, output_dir);
+      if ($ instanceof Ok) {
+        let result = $[0];
+        let provider_name = $types.provider_to_string(result.provider);
+        return new Ok(
+          ((("Imported " + provider_name) + " skill -> ") + output_dir) + "\nNote: Import is lossy. Templates are already resolved, and dependencies/config/metadata sections from the original skill.yaml cannot be recovered.",
+        );
+      } else {
+        let err = $[0];
+        return new Error("Error: " + $error.to_string(err));
+      }
+    },
+  );
+}
+
+function do_config_init(skill_dir) {
+  let $ = $simplifile.read(skill_dir + "/skill.yaml");
+  if ($ instanceof Ok) {
+    let content = $[0];
+    let $1 = $parser.parse_skill_yaml(content);
+    if ($1 instanceof Ok) {
+      let skill = $1[0];
+      return new Ok($config.generate_template(skill));
+    } else {
+      let err = $1[0];
+      return new Error("Error: " + $error.to_string(err));
+    }
+  } else {
+    return new Error("Error: skill.yaml not found in " + skill_dir);
+  }
+}
+
+function do_config_check(skill_dir) {
+  let $ = $simplifile.read(skill_dir + "/skill.yaml");
+  if ($ instanceof Ok) {
+    let content = $[0];
+    let $1 = $parser.parse_skill_yaml(content);
+    if ($1 instanceof Ok) {
+      let skill = $1[0];
+      let statuses = $config.check(skill);
+      let missing = $list.filter_map(
+        statuses,
+        (s) => {
+          if (s instanceof $config.MissingRequired) {
+            let field = s.field;
+            return new Ok(
+              (("  MISSING: " + field.name) + " - ") + field.description,
+            );
+          } else {
+            return new Error(undefined);
+          }
+        },
+      );
+      let satisfied = $list.filter_map(
+        statuses,
+        (s) => {
+          if (s instanceof $config.Provided) {
+            let field = s.field;
+            return new Ok("  OK: " + field.name);
+          } else if (s instanceof $config.MissingRequired) {
+            return new Error(undefined);
+          } else if (s instanceof $config.DefaultUsed) {
+            let field = s.field;
+            let default$ = s.default;
+            return new Ok(
+              ((("  OK: " + field.name) + " (default: ") + default$) + ")",
+            );
+          } else {
+            let field = s.field;
+            return new Ok(("  OK: " + field.name) + " (not set)");
+          }
+        },
+      );
+      if (missing instanceof $Empty) {
+        return new Ok(
+          (("All configuration satisfied for " + skill.name) + "\n") + $string.join(
+            satisfied,
+            "\n",
+          ),
+        );
+      } else {
+        return new Error(
+          ((("Missing configuration for " + skill.name) + ":\n") + $string.join(
+            missing,
+            "\n",
+          )) + (() => {
+            if (satisfied instanceof $Empty) {
+              return "";
+            } else {
+              return "\n\nSatisfied:\n" + $string.join(satisfied, "\n");
+            }
+          })(),
+        );
+      }
+    } else {
+      let err = $1[0];
+      return new Error("Error: " + $error.to_string(err));
+    }
+  } else {
+    return new Error("Error: skill.yaml not found in " + skill_dir);
+  }
+}
+
+function do_check(skill_dir) {
+  let $ = $simplifile.read(skill_dir + "/skill.yaml");
+  if ($ instanceof Ok) {
+    let content = $[0];
+    let $1 = $parser.parse_skill_yaml(content);
+    if ($1 instanceof Ok) {
+      let skill = $1[0];
+      let header = (skill.name + " v") + $semver.to_string(skill.version);
+      let _block;
+      let $2 = $simplifile.is_file(skill_dir + "/INSTRUCTIONS.md");
+      if ($2 instanceof Ok) {
+        let $3 = $2[0];
+        if ($3) {
+          _block = "";
+        } else {
+          _block = "\nWarning: INSTRUCTIONS.md not found";
+        }
+      } else {
+        _block = "\nWarning: INSTRUCTIONS.md not found";
+      }
+      let instructions_warning = _block;
+      let _block$1;
+      let $3 = $provider.discover_providers(skill_dir);
+      if ($3 instanceof Ok) {
+        let $4 = $3[0];
+        if ($4 instanceof $Empty) {
+          _block$1 = "\nNo supported providers found";
+        } else {
+          let providers = $4;
+          let provider_lines = $list.map(
+            providers,
+            (p) => { return "  - " + $types.provider_to_string(p); },
+          );
+          _block$1 = "\nSupported providers:\n" + $string.join(
+            provider_lines,
+            "\n",
+          );
+        }
+      } else {
+        let err = $3[0];
+        _block$1 = "\nError: " + $error.to_string(err);
+      }
+      let providers_section = _block$1;
+      return new Ok((header + instructions_warning) + providers_section);
+    } else {
+      let err = $1[0];
+      return new Error("Error: " + $error.to_string(err));
+    }
+  } else {
+    return new Error("Error: skill.yaml not found in " + skill_dir);
+  }
+}
+
+export function name_from_path(path) {
+  let _block;
+  let _pipe = path;
+  _block = $string.trim_end(_pipe);
+  let trimmed = _block;
+  let _block$1;
+  let $ = $string.ends_with(trimmed, "/");
+  if ($) {
+    _block$1 = $string.drop_end(trimmed, 1);
+  } else {
+    _block$1 = trimmed;
+  }
+  let trimmed$1 = _block$1;
+  let $1 = (() => {
+    let _pipe$1 = $string.split(trimmed$1, "/");
+    return $list.last(_pipe$1);
+  })();
+  if ($1 instanceof Ok) {
+    let name = $1[0];
+    return name;
+  } else {
+    return trimmed$1;
+  }
+}
+
+function format_warnings(warnings) {
+  if (warnings instanceof $Empty) {
+    return "";
+  } else {
+    let _pipe = $list.map(
+      warnings,
+      (w) => {
+        if (w instanceof $types.FrontmatterInInstructions) {
+          let file = w.file;
+          return ("Warning: " + file) + " contains YAML frontmatter which will be included as-is in the output";
+        } else {
+          let dep = w.dependency;
+          return ((("Warning: missing dependency '" + dep.name) + "' (") + $version_constraint.to_string(
+            dep.version,
+          )) + ")";
+        }
+      },
+    );
+    let _pipe$1 = $string.join(_pipe, "\n");
+    return ((s) => { return s + "\n"; })(_pipe$1);
+  }
+}
+
+function do_compile(skill_dir, target, output_dir) {
+  let $ = $compiler.compile(skill_dir, target);
+  if ($ instanceof Ok) {
+    let compiled = $[0];
+    let warning_lines = format_warnings(compiled.warnings);
+    let $1 = $compiler.emit(compiled, output_dir, compiled.name);
+    if ($1 instanceof Ok) {
+      return new Ok(
+        (((warning_lines + "Compiled ") + target) + " -> ") + output_dir,
+      );
+    } else {
+      let err = $1[0];
+      return new Error("Error: " + $error.to_string(err));
+    }
+  } else {
+    let err = $[0];
+    return new Error("Error: " + $error.to_string(err));
+  }
+}
+
+function emit_compiled_list(compiled_list, output_dir) {
+  return $result.try$(
+    $list.try_map(
+      compiled_list,
+      (compiled) => {
+        let warning_lines = format_warnings(compiled.warnings);
+        let $ = $compiler.emit(compiled, output_dir, compiled.name);
+        if ($ instanceof Ok) {
+          return new Ok(
+            (((warning_lines + "Compiled ") + $types.provider_to_string(
+              compiled.provider,
+            )) + " -> ") + output_dir,
+          );
+        } else {
+          let err = $[0];
+          return new Error("Error: " + $error.to_string(err));
+        }
+      },
+    ),
+    (lines) => { return new Ok($string.join(lines, "\n")); },
+  );
+}
+
+function check_deps_after_compile(skill_dir, output_dir) {
+  let $ = $simplifile.read(skill_dir + "/skill.yaml");
+  if ($ instanceof Ok) {
+    let content = $[0];
+    let $1 = $parser.parse_skill_yaml(content);
+    if ($1 instanceof Ok) {
+      let skill = $1[0];
+      return format_warnings($compiler.check_dependencies(skill, output_dir));
+    } else {
+      return "";
+    }
+  } else {
+    return "";
+  }
+}
+
+function do_compile_all(skill_dir, output_dir) {
+  let $ = $compiler.compile_all(skill_dir);
+  if ($ instanceof Ok) {
+    let compiled_list = $[0];
+    return $result.try$(
+      emit_compiled_list(compiled_list, output_dir),
+      (result) => {
+        return new Ok(result + check_deps_after_compile(skill_dir, output_dir));
+      },
+    );
+  } else {
+    let err = $[0];
+    return new Error("Error: " + $error.to_string(err));
+  }
+}
+
+function do_compile_providers(skill_dir, providers_str, output_dir) {
+  let _block;
+  let _pipe = $string.split(providers_str, ",");
+  let _pipe$1 = $list.map(_pipe, $string.trim);
+  _block = $list.filter(_pipe$1, (s) => { return !$string.is_empty(s); });
+  let providers = _block;
+  let $ = $compiler.compile_providers(skill_dir, providers);
+  if ($ instanceof Ok) {
+    let compiled_list = $[0];
+    return $result.try$(
+      emit_compiled_list(compiled_list, output_dir),
+      (result) => {
+        return new Ok(result + check_deps_after_compile(skill_dir, output_dir));
+      },
+    );
+  } else {
+    let err = $[0];
+    return new Error("Error: " + $error.to_string(err));
+  }
+}
+
+function usage_text() {
+  return ("skill-universe " + version()) + " - Cross-platform skill compiler\n\nUsage:\n  skill-universe compile <skill-dir>                          Compile all providers\n  skill-universe compile <skill-dir> --target <provider>      Compile single provider\n  skill-universe compile <skill-dir> --providers <list>       Compile selected providers\n  skill-universe compile <skill-dir> --output <dir>           Compile with custom output\n  skill-universe check <skill-dir>                            Check supported providers\n  skill-universe init <skill-dir>                             Create a new skill\n  skill-universe import <source>                              Import a provider-specific skill\n  skill-universe import <source> --provider <provider>        Import with explicit provider\n  skill-universe import <source> --output <dir>               Import to custom output dir\n  skill-universe config init <skill-dir>                      Generate .env template\n  skill-universe config check <skill-dir>                     Check config env vars\n  skill-universe publish <skill-dir>                          Publish to GitHub Releases\n  skill-universe publish <skill-dir> --repo <owner/repo>      Publish to specific repo\n  skill-universe search <query>                               Search for skills\n  skill-universe install <owner/repo>                         Install a skill\n  skill-universe install <owner/repo/skill-name>              Install from multi-skill repo\n  skill-universe install <spec> --target <provider>           Install for specific provider\n  skill-universe list <owner/repo>                            List available versions\n  skill-universe list <owner/repo/skill-name>                 List versions for a skill\n  skill-universe list --installed                             List installed skills\n  skill-universe version                                      Show version\n  skill-universe help                                         Show this help\n\nInstall spec formats:\n  owner/repo                    Latest release from repo\n  owner/repo@v1.0.0            Specific version from repo\n  owner/repo/skill-name         Latest release of skill from multi-skill repo\n  owner/repo/skill-name@v1.0.0  Specific version of skill from multi-skill repo\n\nProviders: openclaw, claude-code, codex";
+}
+
+function run_compile(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let skill_dir = args.head;
+      return do_compile_all(skill_dir, skill_dir + "/dist");
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = $.head;
+          if ($3 === "--target") {
+            let skill_dir = args.head;
+            let target = $1.head;
+            return do_compile(skill_dir, target, skill_dir + "/dist");
+          } else if ($3 === "--providers") {
+            let skill_dir = args.head;
+            let providers_str = $1.head;
+            return do_compile_providers(
+              skill_dir,
+              providers_str,
+              skill_dir + "/dist",
+            );
+          } else if ($3 === "--output") {
+            let skill_dir = args.head;
+            let output = $1.head;
+            return do_compile_all(skill_dir, output);
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          let $3 = $2.tail;
+          if ($3 instanceof $Empty) {
+            return new Error(usage_text());
+          } else {
+            let $4 = $3.tail;
+            if ($4 instanceof $Empty) {
+              let $5 = $.head;
+              if ($5 === "--target") {
+                let $6 = $2.head;
+                if ($6 === "--output") {
+                  let skill_dir = args.head;
+                  let target = $1.head;
+                  let output = $3.head;
+                  return do_compile(skill_dir, target, output);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else if ($5 === "--providers") {
+                let $6 = $2.head;
+                if ($6 === "--output") {
+                  let skill_dir = args.head;
+                  let providers_str = $1.head;
+                  let output = $3.head;
+                  return do_compile_providers(skill_dir, providers_str, output);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else if ($5 === "--output") {
+                let $6 = $2.head;
+                if ($6 === "--providers") {
+                  let skill_dir = args.head;
+                  let output = $1.head;
+                  let providers_str = $3.head;
+                  return do_compile_providers(skill_dir, providers_str, output);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else {
+                return new Error(usage_text());
+              }
+            } else {
+              return new Error(usage_text());
+            }
+          }
+        }
+      }
+    }
+  }
+}
+
+function run_init(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let skill_dir = args.head;
+      return do_init(skill_dir, name_from_path(skill_dir));
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = $.head;
+          if ($3 === "--name") {
+            let skill_dir = args.head;
+            let name = $1.head;
+            return do_init(skill_dir, name);
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          return new Error(usage_text());
+        }
+      }
+    }
+  }
+}
+
+function run_publish(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let skill_dir = args.head;
+      return do_publish_infer(skill_dir);
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = $.head;
+          if ($3 === "--repo") {
+            let skill_dir = args.head;
+            let repo = $1.head;
+            return do_publish(skill_dir, repo);
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          return new Error(usage_text());
+        }
+      }
+    }
+  }
+}
+
+function run_install(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let spec = args.head;
+      return do_install(spec, new None(), "./skills");
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = $.head;
+          if ($3 === "--target") {
+            let spec = args.head;
+            let target = $1.head;
+            return do_install(spec, new Some(target), "./skills");
+          } else if ($3 === "--output") {
+            let spec = args.head;
+            let dir = $1.head;
+            return do_install(spec, new None(), dir);
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          let $3 = $2.tail;
+          if ($3 instanceof $Empty) {
+            return new Error(usage_text());
+          } else {
+            let $4 = $3.tail;
+            if ($4 instanceof $Empty) {
+              let $5 = $.head;
+              if ($5 === "--target") {
+                let $6 = $2.head;
+                if ($6 === "--output") {
+                  let spec = args.head;
+                  let target = $1.head;
+                  let dir = $3.head;
+                  return do_install(spec, new Some(target), dir);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else if ($5 === "--output") {
+                let $6 = $2.head;
+                if ($6 === "--target") {
+                  let spec = args.head;
+                  let dir = $1.head;
+                  let target = $3.head;
+                  return do_install(spec, new Some(target), dir);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else {
+                return new Error(usage_text());
+              }
+            } else {
+              return new Error(usage_text());
+            }
+          }
+        }
+      }
+    }
+  }
+}
+
+function run_list(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let $1 = args.head;
+      if ($1 === "--installed") {
+        return do_list_installed("./skills");
+      } else {
+        let spec = $1;
+        let segments = $string.split(spec, "/");
+        if (segments instanceof $Empty) {
+          return do_list_versions(spec, new None());
+        } else {
+          let $2 = segments.tail;
+          if ($2 instanceof $Empty) {
+            return do_list_versions(spec, new None());
+          } else {
+            let $3 = $2.tail;
+            if ($3 instanceof $Empty) {
+              return do_list_versions(spec, new None());
+            } else {
+              let $4 = $3.tail;
+              if ($4 instanceof $Empty) {
+                let owner = segments.head;
+                let repo = $2.head;
+                let skill_name = $3.head;
+                return do_list_versions(
+                  (owner + "/") + repo,
+                  new Some(skill_name),
+                );
+              } else {
+                return do_list_versions(spec, new None());
+              }
+            }
+          }
+        }
+      }
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = args.head;
+          if ($3 === "--installed") {
+            let $4 = $.head;
+            if ($4 === "--output") {
+              let dir = $1.head;
+              return do_list_installed(dir);
+            } else {
+              return new Error(usage_text());
+            }
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          return new Error(usage_text());
+        }
+      }
+    }
+  }
+}
+
+function run_import(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.tail;
+    if ($ instanceof $Empty) {
+      let source = args.head;
+      return do_import(source, new None(), "./");
+    } else {
+      let $1 = $.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let $3 = $.head;
+          if ($3 === "--provider") {
+            let source = args.head;
+            let p = $1.head;
+            return do_import(source, new Some(p), "./");
+          } else if ($3 === "--output") {
+            let source = args.head;
+            let dir = $1.head;
+            return do_import(source, new None(), dir);
+          } else {
+            return new Error(usage_text());
+          }
+        } else {
+          let $3 = $2.tail;
+          if ($3 instanceof $Empty) {
+            return new Error(usage_text());
+          } else {
+            let $4 = $3.tail;
+            if ($4 instanceof $Empty) {
+              let $5 = $.head;
+              if ($5 === "--provider") {
+                let $6 = $2.head;
+                if ($6 === "--output") {
+                  let source = args.head;
+                  let p = $1.head;
+                  let dir = $3.head;
+                  return do_import(source, new Some(p), dir);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else if ($5 === "--output") {
+                let $6 = $2.head;
+                if ($6 === "--provider") {
+                  let source = args.head;
+                  let dir = $1.head;
+                  let p = $3.head;
+                  return do_import(source, new Some(p), dir);
+                } else {
+                  return new Error(usage_text());
+                }
+              } else {
+                return new Error(usage_text());
+              }
+            } else {
+              return new Error(usage_text());
+            }
+          }
+        }
+      }
+    }
+  }
+}
+
+export function run(args) {
+  if (args instanceof $Empty) {
+    return new Error(usage_text());
+  } else {
+    let $ = args.head;
+    if ($ === "compile") {
+      let rest = args.tail;
+      return run_compile(rest);
+    } else if ($ === "check") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let skill_dir = $1.head;
+          return do_check(skill_dir);
+        } else {
+          return new Error(usage_text());
+        }
+      }
+    } else if ($ === "init") {
+      let rest = args.tail;
+      return run_init(rest);
+    } else if ($ === "publish") {
+      let rest = args.tail;
+      return run_publish(rest);
+    } else if ($ === "search") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          let query = $1.head;
+          return do_search(query);
+        } else {
+          return new Error(usage_text());
+        }
+      }
+    } else if ($ === "install") {
+      let rest = args.tail;
+      return run_install(rest);
+    } else if ($ === "list") {
+      let rest = args.tail;
+      return run_list(rest);
+    } else if ($ === "import") {
+      let rest = args.tail;
+      return run_import(rest);
+    } else if ($ === "config") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Error(usage_text());
+      } else {
+        let $2 = $1.tail;
+        if ($2 instanceof $Empty) {
+          return new Error(usage_text());
+        } else {
+          let $3 = $2.tail;
+          if ($3 instanceof $Empty) {
+            let $4 = $1.head;
+            if ($4 === "init") {
+              let skill_dir = $2.head;
+              return do_config_init(skill_dir);
+            } else if ($4 === "check") {
+              let skill_dir = $2.head;
+              return do_config_check(skill_dir);
+            } else {
+              return new Error(usage_text());
+            }
+          } else {
+            return new Error(usage_text());
+          }
+        }
+      }
+    } else if ($ === "version") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Ok("skill-universe " + version());
+      } else {
+        return new Error(usage_text());
+      }
+    } else if ($ === "help") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Ok(usage_text());
+      } else {
+        return new Error(usage_text());
+      }
+    } else if ($ === "--help") {
+      let $1 = args.tail;
+      if ($1 instanceof $Empty) {
+        return new Ok(usage_text());
+      } else {
+        return new Error(usage_text());
+      }
+    } else {
+      return new Error(usage_text());
+    }
+  }
+}
+
+export function main() {
+  let $ = run($argv.load().arguments);
+  if ($ instanceof Ok) {
+    let output = $[0];
+    return $io.println(output);
+  } else {
+    let output = $[0];
+    $io.println_error(output);
+    return halt(1);
+  }
+}