mantisai-cli 3.0.0 → 3.0.1

package/README.md

@@ -10,6 +10,7 @@ Full docs (VitePress):
 - [Install](https://mantis.csail.mit.edu/docs/mantis-cli/install)
 - [Claude Code](https://mantis.csail.mit.edu/docs/mantis-cli/claude-code)
 - [OpenCode](https://mantis.csail.mit.edu/docs/mantis-cli/opencode)
+- [Codex](https://mantis.csail.mit.edu/docs/mantis-cli/codex)
 
 Source: `Mantis/docs/mantis-cli/`
 
@@ -33,7 +34,7 @@ Config: `~/.mantis/config.json`
 
 | Command | Description |
 | --- | --- |
-| `mantis setup [claude\|opencode]` | API + space/thread, or sync editor skills |
+| `mantis setup [claude\|opencode\|codex]` | API + space/thread, or sync editor skills |
 | `mantis status` | Current config |
 | `mantis select [space\|thread\|both]` | Switch space/thread |
 | `mantis spaces list\|resolve\|set` | Scriptable space ops (JSON) |

package/bin/mantis.js

@@ -104,7 +104,7 @@ program
 
   .description('Mantis CLI — spaces, maps, and MCP tools for AI agents')
 
-  .version('3.0.0');
+  .version('3.0.1');
 
 
 
@@ -112,15 +112,17 @@ program
 
   .command('setup [provider]')
 
-  .description('Configure Mantis, or install skills for claude/opencode')
+  .description('Configure Mantis, or install skills for claude/opencode/codex')
 
-  .action(async (provider) => {
+  .option('--project', 'Also sync repo-scoped skills (Codex: ./.agents/skills/)')
+
+  .action(async (provider, opts) => {
 
     try {
 
       if (!provider) return setup.run();
 
-      setup.runProvider(provider);
+      setup.runProvider(provider, { project: !!opts.project });
 
     } catch (e) {
 

package/lib/container.js

@@ -7,6 +7,7 @@ import { FastGlobCodebaseIndexer } from './impl/fast-glob-codebase-indexer.js';
 import { FsCsvReader } from './impl/fs-csv-reader.js';
 import { ClaudeSkillsService } from './impl/claude-skills-service.js';
 import { OpencodeSkillsService } from './impl/opencode-skills-service.js';
+import { CodexSkillsService } from './impl/codex-skills-service.js';
 import { SelectionService } from './services/selection-service.js';
 import { SetupService } from './services/setup-service.js';
 import { MapService } from './services/map-service.js';
@@ -24,9 +25,10 @@ export function createContainer(overrides = {}) {
   const csvReader = overrides.csvReader ?? new FsCsvReader();
   const claudeSkills = overrides.claudeSkills ?? new ClaudeSkillsService();
   const opencodeSkills = overrides.opencodeSkills ?? new OpencodeSkillsService();
+  const codexSkills = overrides.codexSkills ?? new CodexSkillsService();
 
   const selection = new SelectionService({ configStore, spaces, client, ui });
-  const setup = new SetupService({ configStore, selection, claudeSkills, opencodeSkills, ui });
+  const setup = new SetupService({ configStore, selection, claudeSkills, opencodeSkills, codexSkills, ui });
   const map = new MapService({ configStore, client, spaces, csvReader, ui });
   const query = new QueryService({ configStore, spaces });
   const context = new ContextService({ configStore });
@@ -42,6 +44,7 @@ export function createContainer(overrides = {}) {
     csvReader,
     claudeSkills,
     opencodeSkills,
+    codexSkills,
     selection,
     setup,
     map,

package/lib/impl/codex-skills-service.js

@@ -0,0 +1,19 @@
+import os from 'node:os';
+import path from 'node:path';
+
+import { SKILLS_DIR } from '../utils/package-root.js';
+import { syncSkills } from '../utils/skills-sync.js';
+
+export class CodexSkillsService {
+  sync(cwd = process.cwd(), { project = false } = {}) {
+    const globalSkillsDir = path.join(os.homedir(), '.agents', 'skills');
+    const targets = [globalSkillsDir];
+    let projectSkillsDir;
+    if (project) {
+      projectSkillsDir = path.join(cwd, '.agents', 'skills');
+      targets.push(projectSkillsDir);
+    }
+    const installed = syncSkills({ skillsDir: SKILLS_DIR, targets });
+    return { globalSkillsDir, projectSkillsDir, installed };
+  }
+}

package/lib/impl/mcp-client-service.js

@@ -24,7 +24,7 @@ export class McpClientService {
     const transport = new StreamableHTTPClientTransport(new URL(mcpUrl(cfg)), {
       requestInit: { headers: this._headers(cfg) },
     });
-    const client = new Client({ name: 'mantisai-cli', version: '3.0.0' });
+    const client = new Client({ name: 'mantisai-cli', version: '3.0.1' });
     await client.connect(transport);
     try {
       return await fn(client);

package/lib/services/setup-service.js

@@ -1,14 +1,15 @@
 import { DEFAULT_API_BASE, DEVELOPER_PORTAL_URL } from '../constants.js';
 import { normalizeBaseUrl, mcpUrl } from '../utils/url.js';
 
-const PROVIDERS = new Set(['claude', 'opencode']);
+const PROVIDERS = new Set(['claude', 'opencode', 'codex']);
 
 export class SetupService {
-  constructor({ configStore, selection, claudeSkills, opencodeSkills, ui }) {
+  constructor({ configStore, selection, claudeSkills, opencodeSkills, codexSkills, ui }) {
     this.configStore = configStore;
     this.selection = selection;
     this.claudeSkills = claudeSkills;
     this.opencodeSkills = opencodeSkills;
+    this.codexSkills = codexSkills;
     this.ui = ui;
   }
 
@@ -51,14 +52,14 @@ export class SetupService {
     this.ui.info(`Thread: ${cfg.spaceStateName || '-'} (${cfg.spaceStateId || '-'})`);
     this.ui.info(`MCP:    ${mcpUrl(cfg)}`);
     this.ui.info('Explore with: mantis tools && mantis use get_space_context');
-    this.ui.info('Editor skills: mantis setup claude | mantis setup opencode');
+    this.ui.info('Editor skills: mantis setup claude | opencode | codex');
     console.log('');
   }
 
-  runProvider(provider) {
+  runProvider(provider, { project = false } = {}) {
     const p = String(provider || '').toLowerCase();
     if (!PROVIDERS.has(p)) {
-      throw new Error(`Unknown provider "${provider}". Use: claude, opencode`);
+      throw new Error(`Unknown provider "${provider}". Use: claude, opencode, codex`);
     }
 
     if (p === 'claude') {
@@ -70,12 +71,28 @@ export class SetupService {
       return { provider: p, skillsDir, installed };
     }
 
-    const { globalSkillsDir, projectSkillsDir, installed } = this.opencodeSkills.sync();
-    this.ui.banner('Mantis skills → OpenCode');
+    if (p === 'opencode') {
+      const { globalSkillsDir, projectSkillsDir, installed } = this.opencodeSkills.sync();
+      this.ui.banner('Mantis skills → OpenCode');
+      this.ui.success(`Synced ${installed.length} skill(s)`);
+      this.ui.info(`Global:  ${globalSkillsDir}`);
+      this.ui.info(`Project: ${projectSkillsDir}`);
+      for (const s of installed) this.ui.info(`${s.slash}  ← skills/${s.source}`);
+      return { provider: p, globalSkillsDir, projectSkillsDir, installed };
+    }
+
+    const { globalSkillsDir, projectSkillsDir, installed } = this.codexSkills.sync(undefined, { project });
+    this.ui.banner('Mantis skills → Codex');
     this.ui.success(`Synced ${installed.length} skill(s)`);
-    this.ui.info(`Global:  ${globalSkillsDir}`);
-    this.ui.info(`Project: ${projectSkillsDir}`);
-    for (const s of installed) this.ui.info(`${s.slash}  ← skills/${s.source}`);
+    this.ui.info(`USER:  ${globalSkillsDir}`);
+    if (projectSkillsDir) {
+      this.ui.info(`REPO:  ${projectSkillsDir}`);
+      this.ui.info('Same skill names in USER + REPO may appear twice in Codex; disable one via /skills if needed.');
+    } else {
+      this.ui.info('Repo copy skipped. Re-run with --project to also write ./.agents/skills/ for team commit.');
+    }
+    for (const s of installed) this.ui.info(`$${s.name}  ← skills/${s.source}`);
+    this.ui.info('Invoke with $mantis or /skills. Restart Codex if new skills do not appear.');
     return { provider: p, globalSkillsDir, projectSkillsDir, installed };
   }
 }

package/lib/utils/skills-sync.js

@@ -23,6 +23,9 @@ export function prepareSkillContent(content, installName) {
   yaml = /^name:\s/m.test(yaml)
     ? yaml.replace(/^name:\s.*$/m, `name: ${installName}`)
     : `name: ${installName}\n${yaml}`;
+  if (!/^description:\s/m.test(yaml)) {
+    yaml = `${yaml}\ndescription: Mantis CLI skill (${installName}).`;
+  }
   return `---\n${yaml}\n---${body}`;
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "mantisai-cli",
-  "version": "3.0.0",
+  "version": "3.0.1",
   "description": "Mantis CLI — spaces, maps, and MCP tools for AI coding agents",
   "type": "module",
   "license": "MIT",

package/skills/mantis/SKILL.md

@@ -33,6 +33,7 @@ Install editor skills (CLI-only workflow, no MCP plugin):
 ```bash
 mantis setup claude     # ~/.claude/skills/
 mantis setup opencode   # ~/.config/opencode/skills/ + .opencode/skills/
+mantis setup codex      # ~/.agents/skills/ (add --project for ./.agents/skills/)
 ```
 
 ## MCP tools via CLI