@takemo101/mikan 0.0.7 → 0.0.9

package/README.md

@@ -57,13 +57,15 @@ GitHub Mirror is one-way publication from local Markdown Issues to GitHub Issues
 
 mikan wires into AI coding agents two independent ways. Neither models agents or adds a runtime: mikan stays **stdio MCP only** — no HTTP server, port, auth, scheduler, or workflow engine.
 
-- `mikan mcp add --agent <agent>` registers the stdio MCP server in the agent's MCP config. Agents: `pi`, `antigravity`, `jcode`, `claude-code`, `opencode`, `codex`.
+- `mikan mcp add --agent <agent>` registers the stdio MCP server in the agent's MCP config. Agents: `pi`, `antigravity`, `jcode`, `claude-code`, `opencode`, `codex`, `copilot-vscode`, `copilot-cli`.
 - `mikan skills add --agent <agent>` installs a small mikan `SKILL.md` that teaches the agent to drive the board through the MCP tools, including one-way GitHub Mirror publication tools. Agents: `claude-code`, `opencode`, `codex`. This is **separate** from MCP registration — installing skills never changes MCP config.
 
 ```sh
 mikan mcp add --agent claude-code
 mikan mcp add --agent opencode --no-global
 mikan mcp add --agent codex             # global only
+mikan mcp add --agent copilot-vscode --no-global # VS Code workspace only
+mikan mcp add --agent copilot-cli       # global only
 mikan skills add --agent claude-code
 mikan mcp llms                          # incur-backed discovery manifest
 ```

package/dist/bin.js

@@ -100489,6 +100489,7 @@ function validateStatus(config2, status) {
 }
 function validateLabels(config2, labels) {
   const known = new Set(config2.labels.map((label) => label.id));
+  const seen = new Set;
   const parsed = [];
   for (const label of labels) {
     if (!known.has(label)) {
@@ -100504,6 +100505,13 @@ function validateLabels(config2, labels) {
         error: { kind: "unknown_label", message: labelId.error.message }
       };
     }
+    if (seen.has(label)) {
+      return {
+        ok: false,
+        error: { kind: "unknown_label", message: `Duplicate Label: ${label}` }
+      };
+    }
+    seen.add(label);
     parsed.push(labelId.value);
   }
   return { ok: true, value: parsed };
@@ -106953,6 +106961,55 @@ var codexInstaller = {
   install: installCodexMcpServer
 };
 
+// ../mcp/src/installers/copilot-cli.ts
+var copilotCliAdapter = {
+  agent: "copilot-cli",
+  serversKey: "mcpServers",
+  resolveTarget: (options) => {
+    if (!isGlobalScope(options)) {
+      throw new Error("GitHub Copilot CLI MCP configuration is global-only; it has no " + "verified workspace-local scope. Re-run `mikan mcp add --agent " + "copilot-cli` without --no-global to register the server in " + "~/.copilot/mcp-config.json.");
+    }
+    return {
+      path: homePath(options, ".copilot", "mcp-config.json"),
+      scope: "global"
+    };
+  },
+  buildEntry: (spec) => ({
+    type: "local",
+    command: spec.command,
+    args: spec.args,
+    env: spec.env,
+    tools: ["*"]
+  })
+};
+var copilotCliInstaller = createInstaller(copilotCliAdapter);
+
+// ../mcp/src/installers/copilot-vscode.ts
+var copilotVscodeAdapter = {
+  agent: "copilot-vscode",
+  serversKey: "servers",
+  resolveTarget: (options) => {
+    if (isGlobalScope(options)) {
+      throw new Error("VS Code user-profile MCP configuration path is not verified; " + "re-run `mikan mcp add --agent copilot-vscode --no-global` " + "to register mikan in .vscode/mcp.json for this workspace.");
+    }
+    return {
+      path: workspacePath(options, ".vscode", "mcp.json"),
+      scope: "workspace"
+    };
+  },
+  buildEntry: (spec) => {
+    const entry = {
+      type: "stdio",
+      command: spec.command,
+      args: spec.args
+    };
+    if (Object.keys(spec.env).length > 0)
+      entry.env = spec.env;
+    return entry;
+  }
+};
+var copilotVscodeInstaller = createInstaller(copilotVscodeAdapter);
+
 // ../mcp/src/installers/jcode.ts
 var jcodeAdapter = {
   agent: "jcode",
@@ -107009,7 +107066,9 @@ var mcpAgentInstallers = [
   jcodeInstaller,
   claudeCodeInstaller,
   opencodeInstaller,
-  codexInstaller
+  codexInstaller,
+  copilotVscodeInstaller,
+  copilotCliInstaller
 ];
 function installMcpServerForAgent(agent, options = {}) {
   const installer = mcpAgentInstallers.find((entry) => entry.agent === agent);
@@ -107402,7 +107461,7 @@ var import_react20 = __toESM(require_react(), 1);
 // package.json
 var package_default = {
   name: "@takemo101/mikan",
-  version: "0.0.7",
+  version: "0.0.9",
   private: false,
   type: "module",
   bin: {
@@ -107466,6 +107525,9 @@ function visibleDetailLineCount(viewportHeight) {
   return Math.max(1, viewportHeight - 8);
 }
 function footerText(mode) {
+  if (mode === "note-modal") {
+    return "Note | Enter newline | Ctrl+S save | Esc cancel";
+  }
   if (mode === "modal") {
     return "Modal | enter confirm | esc cancel | ? keys";
   }
@@ -107986,7 +108048,9 @@ function moveSelection(model, selection, direction, options = {}) {
       detailOpen: false,
       moveOpen: false,
       noteOpen: false,
-      labelOpen: false
+      noteDraft: undefined,
+      labelOpen: false,
+      message: selection.noteOpen ? undefined : selection.message
     };
   }
   if (direction === "move") {
@@ -107995,6 +108059,7 @@ function moveSelection(model, selection, direction, options = {}) {
       archiveOpen: false,
       detailOpen: false,
       noteOpen: false,
+      noteDraft: undefined,
       labelOpen: false,
       moveOpen: true,
       moveTargetIndex: 0
@@ -108007,7 +108072,9 @@ function moveSelection(model, selection, direction, options = {}) {
       detailOpen: false,
       moveOpen: false,
       labelOpen: false,
-      noteOpen: true
+      noteOpen: true,
+      noteDraft: "",
+      message: undefined
     };
   }
   if (direction === "edit-labels") {
@@ -108019,6 +108086,7 @@ function moveSelection(model, selection, direction, options = {}) {
       githubConfirmOpen: false,
       moveOpen: false,
       noteOpen: false,
+      noteDraft: undefined,
       labelOpen: true,
       labelFocusIndex: 0,
       labelDraftIds: card?.labels.filter((label) => knownLabelIds.has(label)) ?? []
@@ -108030,6 +108098,7 @@ function moveSelection(model, selection, direction, options = {}) {
       archiveOpen: true,
       moveOpen: false,
       noteOpen: false,
+      noteDraft: undefined,
       labelOpen: false,
       githubConfirmOpen: false
     };
@@ -108040,6 +108109,7 @@ function moveSelection(model, selection, direction, options = {}) {
       archiveOpen: false,
       moveOpen: false,
       noteOpen: false,
+      noteDraft: undefined,
       labelOpen: false,
       githubConfirmOpen: true
     };
@@ -108093,28 +108163,17 @@ function toggleFocusedLabel(model, selection) {
     current.add(label.id);
   return { ...selection, labelDraftIds: [...current] };
 }
-function applyNoteInput(selection, keyName2, shift = false) {
-  if (!selection.noteOpen || !keyName2)
-    return selection;
-  if (keyName2 === "backspace") {
-    return {
-      ...selection,
-      noteDraft: (selection.noteDraft ?? "").slice(0, -1)
-    };
-  }
-  const character = keyName2 === "space" ? " " : keyName2;
-  if (character.length !== 1)
-    return selection;
-  const value = shift && /[a-z]/.test(character) ? character.toUpperCase() : character;
-  return { ...selection, noteDraft: `${selection.noteDraft ?? ""}${value}` };
-}
 function footerMode(selection) {
-  if (selection.moveOpen || selection.noteOpen || selection.labelOpen || selection.archiveOpen || selection.githubConfirmOpen) {
+  if (selection.noteOpen)
+    return "note-modal";
+  if (selection.moveOpen || selection.labelOpen || selection.archiveOpen || selection.githubConfirmOpen) {
     return "modal";
   }
   return selection.detailOpen ? "detail" : "board";
 }
-function keyToTuiAction(keyName2, shift = false) {
+function keyToTuiAction(keyName2, shift = false, ctrl = false) {
+  if (ctrl && keyName2 === "s")
+    return "save-note";
   if (shift && keyName2 === "h")
     return "move-left";
   if (shift && keyName2 === "l")
@@ -108195,8 +108254,8 @@ function buildNotePromptViewModel(model, selection) {
   return {
     title: `Append note to ${card.id}`,
     focused: Boolean(selection.noteOpen),
-    draft: selection.noteDraft ?? "",
-    hint: "enter append  esc cancel"
+    feedback: selection.message === "Note cannot be empty" ? selection.message : undefined,
+    hint: "Enter newline | Ctrl+S save | Esc cancel"
   };
 }
 function buildLabelPromptViewModel(model, selection) {
@@ -108259,17 +108318,6 @@ function renderMoveInteraction(model, selection) {
     view.hint
   ];
 }
-function renderNoteInteraction(model, selection) {
-  const view = buildNotePromptViewModel(model, selection);
-  if (!view)
-    return ["Append note", "No Issue selected"];
-  return [
-    view.title,
-    `Note: ${view.draft}`,
-    ...view.feedback ? [view.feedback] : [],
-    view.hint
-  ];
-}
 function renderLabelInteraction(model, selection) {
   const view = buildLabelPromptViewModel(model, selection);
   if (!view)
@@ -108314,6 +108362,7 @@ function renderKeyHelp() {
     "H/L move Issue",
     "m move menu",
     "n append Note",
+    "note: enter newline, ctrl+s save",
     "e edit Labels",
     "a archive Issue",
     "g GitHub Mirror",
@@ -108334,13 +108383,50 @@ function MovePrompt(props) {
   });
 }
 function NotePrompt(props) {
-  return renderModalText({
+  const view = buildNotePromptViewModel(props.model, props.selection);
+  if (!view) {
+    return renderModalText({
+      theme: props.theme,
+      backdropId: "note-modal-backdrop",
+      panelId: "note-prompt",
+      title: "Append Note",
+      content: ["Append note", "No Issue selected"]
+    });
+  }
+  const initialValue = props.selection.noteDraft ?? "";
+  return renderModalShell({
     theme: props.theme,
     backdropId: "note-modal-backdrop",
     panelId: "note-prompt",
     title: "Append Note",
-    content: renderNoteInteraction(props.model, props.selection)
-  });
+    panelStyle: { height: view.feedback ? 14 : 13 }
+  }, import_react3.default.createElement("text", {
+    content: [view.title, "", "Note:"].join(`
+`)
+  }), import_react3.default.createElement("textarea", {
+    id: "note-textarea",
+    ref: props.noteTextareaRef,
+    focused: true,
+    initialValue,
+    placeholder: "Write a Note...",
+    height: 5,
+    wrapMode: "word",
+    keyBindings: [{ name: "s", ctrl: true, action: "submit" }],
+    onSubmit: () => {
+      props.onNoteSubmit?.(props.noteTextareaRef?.current?.plainText ?? "");
+    },
+    style: {
+      alignSelf: "stretch",
+      backgroundColor: props.theme?.base.canvas,
+      textColor: props.theme?.base.text,
+      focusedBackgroundColor: props.theme?.base.canvas,
+      focusedTextColor: props.theme?.base.text,
+      width: "auto"
+    }
+  }), import_react3.default.createElement("text", {
+    content: ["", ...view.feedback ? [view.feedback] : [], view.hint].join(`
+`)
+  }));
 }
 function LabelPrompt(props) {
   return renderModalText({
@@ -108370,6 +108456,12 @@ function GitHubMirrorPrompt(props) {
   });
 }
 function renderModalText(options) {
+  return renderModalShell(options, import_react3.default.createElement("text", {
+    content: options.content.join(`
+`)
+  }));
+}
+function renderModalShell(options, ...children) {
   const theme = options.theme ?? buildTuiTheme();
   return import_react3.default.createElement("box", {
     id: options.backdropId,
@@ -108382,10 +108474,7 @@ function renderModalText(options) {
       ...modalStyle(theme),
       ...options.panelStyle ?? {}
     }
-  }, import_react3.default.createElement("text", {
-    content: options.content.join(`
-`)
-  })));
+  }, ...children));
 }
 function modalBackdropStyle(_theme) {
   return {
@@ -108765,7 +108854,7 @@ function appendSelectedIssueNote(options) {
     return {
       ok: false,
       model: options.model,
-      selection: { ...options.selection, noteOpen: false },
+      selection: { ...options.selection, noteOpen: true },
       message: "Note cannot be empty"
     };
   }
@@ -108812,7 +108901,8 @@ function appendSelectedIssueNote(options) {
     selection: {
       ...selection,
       detailOpen: options.selection.detailOpen,
-      noteOpen: false
+      noteOpen: false,
+      noteDraft: undefined
     },
     message: `${card.id} note appended`
   };
@@ -108829,7 +108919,9 @@ function TuiAppView({
   theme = buildTuiTheme(),
   viewportHeight,
   viewportWidth,
-  columns
+  columns,
+  noteTextareaRef,
+  onNoteSubmit
 }) {
   const details = selection.detailOpen ? getSelectedDetails(model, selection) : undefined;
   return import_react20.default.createElement("box", {
@@ -108855,7 +108947,13 @@ function TuiAppView({
     viewportHeight,
     viewportWidth,
     columns
-  })), selection.moveOpen ? import_react20.default.createElement(MovePrompt, { model, selection, theme }) : undefined, selection.noteOpen ? import_react20.default.createElement(NotePrompt, { model, selection, theme }) : undefined, selection.labelOpen ? import_react20.default.createElement(LabelPrompt, { model, selection, theme }) : undefined, selection.archiveOpen ? import_react20.default.createElement(ArchivePrompt, { model, selection, theme }) : undefined, selection.githubConfirmOpen ? import_react20.default.createElement(GitHubMirrorPrompt, { model, selection, theme }) : undefined, selection.warningsOpen ? import_react20.default.createElement(WarningPanel, { model, theme }) : undefined, selection.helpOpen ? import_react20.default.createElement(HelpPanel, { theme }) : undefined, import_react20.default.createElement(Footer, {
+  })), selection.moveOpen ? import_react20.default.createElement(MovePrompt, { model, selection, theme }) : undefined, selection.noteOpen ? import_react20.default.createElement(NotePrompt, {
+    model,
+    selection,
+    theme,
+    noteTextareaRef,
+    onNoteSubmit
+  }) : undefined, selection.labelOpen ? import_react20.default.createElement(LabelPrompt, { model, selection, theme }) : undefined, selection.archiveOpen ? import_react20.default.createElement(ArchivePrompt, { model, selection, theme }) : undefined, selection.githubConfirmOpen ? import_react20.default.createElement(GitHubMirrorPrompt, { model, selection, theme }) : undefined, selection.warningsOpen ? import_react20.default.createElement(WarningPanel, { model, theme }) : undefined, selection.helpOpen ? import_react20.default.createElement(HelpPanel, { theme }) : undefined, import_react20.default.createElement(Footer, {
     message: selection.message,
     mode: footerMode(selection),
     theme
@@ -108889,6 +108987,19 @@ async function launchTui(options = {}) {
     const modelRef = import_react20.default.useRef(model);
     const selectionRef = import_react20.default.useRef(selection);
     const githubBusyRef = import_react20.default.useRef(false);
+    const noteTextareaRef = import_react20.default.useRef(null);
+    const submitNote = import_react20.default.useCallback((body) => {
+      const result = appendSelectedIssueNote({
+        cwd: options.cwd,
+        model: modelRef.current,
+        selection: selectionRef.current,
+        body
+      });
+      modelRef.current = result.model;
+      selectionRef.current = { ...result.selection, message: result.message };
+      setModel(result.model);
+      setSelection({ ...result.selection, message: result.message });
+    }, []);
     modelRef.current = model;
     selectionRef.current = selection;
     import_react20.default.useEffect(() => {
@@ -108906,7 +109017,7 @@ async function launchTui(options = {}) {
       return () => clearInterval(interval);
     }, []);
     useKeyboard2((key) => {
-      const action = keyToTuiAction(key.name, key.shift);
+      const action = keyToTuiAction(key.name, key.shift, key.ctrl);
       if (selection.helpOpen) {
         if (action === "escape" || action === "help") {
           setSelection((current) => moveSelection(model, current, action));
@@ -108914,26 +109025,10 @@ async function launchTui(options = {}) {
         return;
       }
       if (selection.noteOpen) {
-        if (action === "help") {
-          setSelection((current) => moveSelection(model, current, action));
-          return;
-        }
         if (action === "escape") {
           setSelection((current) => moveSelection(model, current, action));
           return;
         }
-        if (action === "enter") {
-          const result = appendSelectedIssueNote({
-            cwd: options.cwd,
-            model,
-            selection,
-            body: selection.noteDraft ?? ""
-          });
-          setModel(result.model);
-          setSelection({ ...result.selection, message: result.message });
-          return;
-        }
-        setSelection((current) => applyNoteInput(current, key.name, key.shift));
         return;
       }
       if (selection.archiveOpen) {
@@ -109066,6 +109161,8 @@ async function launchTui(options = {}) {
         setSelection((current) => moveSelection(model, current, action));
         return;
       }
+      if (action === "save-note")
+        return;
       if (action === "github") {
         if (githubBusyRef.current)
           return;
@@ -109098,7 +109195,9 @@ async function launchTui(options = {}) {
       selection,
       viewportHeight: renderer.height,
       viewportWidth: renderer.width,
-      columns: options.columns
+      columns: options.columns,
+      noteTextareaRef,
+      onNoteSubmit: submitNote
     });
   }
   root.render(import_react20.default.createElement(App));
@@ -109503,7 +109602,8 @@ function readCurrentSnapshot(loaded) {
 function writeSnapshot(path5, snapshot) {
   mkdirSync7(dirname8(path5), { recursive: true });
   const tmp = `${path5}.${process.pid}.${Date.now()}.tmp`;
-  writeFileSync7(tmp, JSON.stringify(snapshot, null, 2));
+  writeFileSync7(tmp, `${JSON.stringify(snapshot, null, 2)}
+`);
   renameSync4(tmp, path5);
 }
 function watcherSnapshotPath(projectRoot) {
@@ -109833,6 +109933,10 @@ function helpText() {
 Usage:
   mikan <command> [options]
 
+Options:
+  -v, --version Print mikan version
+  -h, --help    Show this help
+
 Commands:
   init      Create .mikan project files
   add       Create an Issue
@@ -109992,13 +110096,14 @@ Usage:
   mikan mcp llms [--full]
 
 Options:
-  -a, --agent <agent>   Agent to configure: pi, antigravity, jcode, claude-code, opencode, codex
+  -a, --agent <agent>   Agent to configure: pi, antigravity, jcode, claude-code, opencode, codex, copilot-vscode, copilot-cli
   --no-global           Write workspace-local config instead of global config
   --full                With llms: print the full incur manifest
   -h, --help            Show this help
 
 Notes:
-  codex registers in global ~/.codex/config.toml only; --no-global is rejected.
+  codex and copilot-cli register globally only; --no-global is rejected.
+  copilot-vscode writes workspace .vscode/mcp.json only; use --no-global.
   Use mikan mcp add for native per-agent registration. Use mikan mcp llms for
   incur-backed discovery: it prints a manifest for agents that read incur
   manifests directly and never installs anything. Passing --agent to llms is
@@ -110011,6 +110116,8 @@ Examples:
   mikan mcp add --agent claude-code
   mikan mcp add --agent opencode --no-global
   mikan mcp add --agent codex
+  mikan mcp add --agent copilot-vscode --no-global
+  mikan mcp add --agent copilot-cli
   mikan mcp llms
   mikan mcp llms --full
 `;
@@ -110063,6 +110170,9 @@ async function runCli(argv = process.argv.slice(2), options = {}) {
   const command = argv[0];
   if (!command || isHelpFlag(command))
     return ok2(helpText());
+  if (isVersionFlag(command))
+    return ok2(`${package_default.version}
+`);
   if (command === "help") {
     const topic = argv[1];
     return topic ? commandHelp(topic) : ok2(helpText());
@@ -110121,6 +110231,9 @@ Run \`mikan help tui\` for usage.`);
     return fail2(error51 instanceof Error ? error51.message : String(error51));
   }
 }
+function isVersionFlag(input) {
+  return input === "-v" || input === "--version";
+}
 async function main(argv = process.argv.slice(2)) {
   const result = await runInteractiveCommand(argv, { cwd: process.cwd() });
   if (result.stdout)

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@takemo101/mikan",
-	"version": "0.0.7",
+	"version": "0.0.9",
 	"private": false,
 	"type": "module",
 	"bin": {