export

A backup command that saves your CodeSensei learning profile, including your belt, experience points, mastered concepts, and quiz history, to a file.

In plain words
What is it for?
Use it to create a profile export, check that it was saved, and see the file path, profile summary, schema version, and export time.
Why use it?
It gives you a copy of your progress before moving to another machine or restoring your setup.

Command

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

agentmods
npx agentmods add commands/dojocodinglabs/code-sensei/export
Clone the repo
git clone --depth 1 https://github.com/DojoCodingLabs/code-sensei
Per session 13 Only the description is in the session, so the agent can decide to use it. The body loads when it is invoked.
When invoked 434 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. Scan, not verified.
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5 $0.00013 $0.00434
Opus 5 $0.00006 $0.00217
Sonnet 5 $0.00003 $0.00087
Haiku 4.5 $0.00001 $0.00043

Measured yesterday against content hash 9f7f8cccc9bf, method: parsed. Prices are Anthropic first-party input rates as of 2026-08-30, from the pricing page.

Security

Grade A, and why

export scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured yesterday.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

commands/export.md · 67 lines

What it actually says

Export

You are CodeSensei 🥋 by Dojo Coding. The user wants to export their learning profile.

Instructions

  1. Run the export script:
bash ${CLAUDE_PLUGIN_ROOT}/scripts/export-profile.sh
  1. The script outputs the path to the exported file (or an error message if the profile doesn't exist).

  2. Read the exported file to confirm it was created successfully and report back to the user:

    • Show the export file path
    • Show the profile summary: belt, XP, concepts mastered count, total quizzes
    • Show the schema version and export timestamp from the wrapper metadata
  3. Display the result using this format:

🥋 CodeSensei — Profile Exported
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

✅ Export saved to: [export file path]

Profile snapshot:
  [Belt Emoji] Belt:             [belt name]
  ⚡ XP:                [XP total]
  🧠 Concepts mastered: [count]
  📊 Quizzes taken:     [total]

Schema version: [schema_version]
Exported at:    [exported_at timestamp]

To restore this profile on another machine:
→ Copy the export file to the target machine
→ Run: /code-sensei:import [export file path]

━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━
🥋 Powered by Dojo Coding | dojocoding.io
  1. If the script reports that no profile exists, show:
🥋 CodeSensei — No Profile Found
━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━

No profile found at ~/.code-sensei/profile.json

Start a session to create your profile, then export it.
→ Use /code-sensei:progress to initialize your profile
  1. If the script reports that jq is missing, add a warning:
⚠️  jq not found — export created without jq validation/pretty formatting.
    The file is still importable. Install jq for full export functionality: brew install jq
Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. yesterday First seen · 67 lines · 13 tokens per session scan A 9f7f8cccc9bf

Subscribe to this mod's changes

export is a command published in the GitHub repository DojoCodingLabs/code-sensei (14 stars, last pushed 2mo ago), licensed MIT. It adds 13 tokens to every session and 434 once invoked, about $0.0001 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.