Skip to content

development.md

Latest commit

 

History

History
121 lines (84 loc) · 2.89 KB

development.md

File metadata and controls

121 lines (84 loc) · 2.89 KB
Raw

Reasflow-dev Development Notes

reasflow-dev is a resource repository for Codex:

  • skills/
  • agents/
  • installer scripts

There is no Rust code, no opencode runtime, and no build step.

Design

The default installer design:

  1. Default scope is local.
  2. Default mode does not require git.
  3. Default install is directly usable and does not pollute global configuration.

Main installer switches:

  • --global
  • --dev
  • --force

Repository Layout

reasflow-dev/
├── agents/
├── docs/
├── skills/
├── install.sh
├── install.ps1
└── README.md

Skill Visibility

Treat skills as resources explicitly mounted by agents instead of globally exposing everything.

  • Shared skills live under skills/reasflow/shared/.
  • Private skills live under skills/reasflow/<category>/.
  • agents/*.toml should only list the [[skills.config]] entries that agent needs.
  • Do not put private project skills in global ~/.codex/config.toml.

Recommended source layout:

skills/
└── reasflow/
    ├── shared/
    ├── common/
    ├── intro/
    ├── paper/
    ├── prover/
    ├── survey/
    ├── experiment/
    └── algorithm/

Installed layout:

.agents/skills/<shared-skill>/
.codex/reasflow-skills/<category>/<private-skill>/

Shared skills are auto-scanned. Private skills must be mounted explicitly from agent config, for example:

[[skills.config]]
path = "../../.codex/reasflow-skills/prover/knowledge-card-retrieval/SKILL.md"
enabled = true

enabled = true is required for each [[skills.config]] entry. Do not put enabled at the top level of agents/*.toml.

Development Install

Dev mode keeps a git checkout and installs symlinks:

curl -fsSL https://raw.githubusercontent.com/sillyDaibo/reasflow-dev/main/install.sh | bash -s -- --dev

Global dev mode:

curl -fsSL https://raw.githubusercontent.com/sillyDaibo/reasflow-dev/main/install.sh | bash -s -- --dev --global

When working from a local checkout, install from that checkout:

REASFLOW_DEV_SOURCE_DIR=/path/to/reasflow-dev bash /path/to/reasflow-dev/install.sh

Use --force only when replacing existing installed targets is intended.

Updating

Rerun the same install command to update.

If previous install used --dev, rerunning the installer refreshes the local clone and keeps symlink-based installation.

Conflict Handling

If a target skill or agent already exists, the installer stops by default.

Replace managed targets explicitly:

./install.sh --force

Content Notes

  • agents/*.toml defines Codex custom agents.
  • skills/*/SKILL.md defines project/global Codex skills.
  • Older prompts that depended on $PACK_ROOT have been migrated to installed skill root resolution.
  • Compatibility scripts exist for older agent entrypoints that referenced missing paths.