Skip to main content
Skills are stored locally in mira.db and can be exported as self-contained JSON files for sharing, backup, or use across multiple MIRA installations.

Exporting a Skill

1

Open Skills Studio

Press ⌘2 to open the Skills view.
2

Select the skill to export

Click the skill in the list, then click ⋮ → Export.
3

Save the file

Choose a location and save as [skill-name].json. The file is self-contained and contains all configuration — no secrets are included.

Importing a Skill

1

Open Skills Studio

Press ⌘2.
2

Click Import

Click the Import button at the top of the Skills list.
3

Select the JSON file

Pick the .json file exported from another MIRA instance. The skill appears in the list immediately.

Skill JSON format

Exported skills are human-readable JSON. All fields are required unless marked optional.

Field reference

category valid values: "Research" · "Coding" · "Domain Expert" · "Creative" · "Deterministic" · "Custom" scope valid values:
  • "session" — skill is applied only to the current session and is not persisted across sessions
  • "global" — skill is automatically available across all sessions
modelOverrides fields:
Edit the exported JSON in any text editor, change the name and instructions, set "isBuiltin": false, then import — you have a new skill in seconds.

Version history

Every time you save a skill, MIRA creates a new version automatically. To view and restore previous versions:
  1. Open the skill in the editor
  2. Click ⋮ → Version History
  3. A panel shows all saved versions with timestamps
  4. Click any version to preview it
  5. Click Restore to make that version current
Restoring creates a new version — the current version is not overwritten, it becomes the previous entry in the history.

Sharing skills with your team

Skills can be committed to a shared repository as JSON files and distributed to teammates. Each team member imports the file into their own MIRA installation. Updates require re-exporting and re-importing — there is no live sync.