feat: plan skills repo reorganization (spec 378)

[tikazyq]

Create spec 378 to address three issues: missing leanspec-sdd skill,
internal skills leaking via npx distribution, and unfriendly naming.
Plan: create codervisor/skills repo, rename leanspec-sdd → leanspec,
keep internal skills in lean-spec repo only.

• Add spec 378-skills-repo-reorganization
• Update AGENTS.md to reference new install path
• Mark spec 290 as superseded

https://claude.ai/code/session_01Qjs3AoRRC5XXNyNgt8gnFD

[Copilot]

Pull request overview

Adds a planning spec for reorganizing LeanSpec skill distribution and updates project docs to reflect the intended new canonical install source.

Changes:

• Add spec 378 describing the move to a new public codervisor/skills repo and renaming leanspec-sdd → leanspec.
• Update AGENTS.md to reference the new install command/source for the core LeanSpec skill.
• Archive spec 290 and mark it as superseded by spec 378.

Reviewed changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 3 comments.

File	Description
specs/378-skills-repo-reorganization/README.md	New planned spec outlining problems/goals/design/plan for skills repo reorg and naming changes.
specs/290-skills-repository-migration/README.md	Archives the prior migration spec and adds a superseded notice pointing to spec 378.
AGENTS.md	Updates core skill reference from deleted local leanspec-sdd path to external codervisor/skills@leanspec install/source.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

AGENTS.md now instructs installing the core skill from codervisor/skills@leanspec, but the repo README still documents npx skills add codervisor/lean-spec and refers to the leanspec-sdd skill. To avoid conflicting installation guidance, update the top-level README (and any other docs) to match this new canonical install path, or add a brief note here about the transition timing.

Suggested change

	- Source: [codervisor/skills](https://github.com/codervisor/skills)
	- Source: [codervisor/skills](https://github.com/codervisor/skills)
	- Note: This is the canonical LeanSpec core skill. Some older docs may still reference `npx skills add codervisor/lean-spec` or the `leanspec-sdd` skill during the transition; use `codervisor/skills@leanspec` instead.

[Copilot]

This spec is marked status: archived and superseded, but the opening Overview paragraph below still describes the old plan as if it’s current (e.g., migrating to codervisor/leanspec-skills). Consider adjusting that paragraph to explicitly label the remainder as historical context (or update it to past tense) so readers don’t mistake it for the active plan.

Suggested change

	Migrate public LeanSpec skills (starting with `leanspec-sdd`) to a dedicated GitHub repository at `codervisor/leanspec-skills`. This separates skill maintenance from CLI development and enables community contributions.
	Historical context: This spec originally proposed migrating public LeanSpec skills (starting with `leanspec-sdd`) to a dedicated GitHub repository at `codervisor/leanspec-skills`. The goal was to separate skill maintenance from CLI development and enable community contributions.

[Copilot]

The spec states that “the npx skills framework reads from codervisor/skills, not codervisor/lean-spec,” but earlier in the same spec (and in current repo docs) npx skills add codervisor/lean-spec is treated as the current/previous distribution mechanism. Consider rephrasing this sentence to clarify it’s the target state after the reorg (e.g., “After this change, end users should install from codervisor/skills…”) to avoid contradicting the described current behavior.

Suggested change

	These are never distributed. The `npx skills` framework reads from `codervisor/skills`, not `codervisor/lean-spec`.
	These are never distributed. After this reorganization, the `npx skills` framework should read from `codervisor/skills`, not `codervisor/lean-spec`.