repository-onboarding
Set up or repair Paved in a repository by preparing its project context, adapters and verification profile. Use when the user asks to initialize or onboard Paved, or Paved reports incomplete setup.
- License 许可
- MIT
- 最近更新
- 2026-11-14
- Stars
- ★ 1
- Forks
- 0
01 前言 Front Matter
- name
- repository-onboarding
- description
- Set up or repair Paved in a repository by preparing its project context, adapters and verification profile. Use when the user asks to initialize or onboard Paved, or Paved reports incomplete setup.
02 资源文件 1
- 参考文档skill.yaml388 B
03 SKILL.md 正文
Repository onboarding
When to use
- A human asks to add Paved to a repository, and
paved initis unavailable or failed. .paved/exists but is missing its manifest or verification profile.
Do not use it to regenerate existing Project Context; that is the generators' job.
Required context
None from Paved: there is no Project Context yet. The inputs are the repository's own files. Everything you learn is a proposal until a human confirms it.
Preconditions
- A human asked for onboarding. Never create
.paved/on your own initiative. - The working tree is clean, so the onboarding changes can be reviewed as one diff.
Procedure
- Discover the repository. Activate
context-discoveryand build the repository overview it describes. Nothing is written yet. - Detect technologies. Match build and configuration files against each available
adapter's
detectsignals. List the matches with the files that triggered them. - Resolve adapters. Propose the matching adapters and a Core version range; a human confirms the list. An unmatched technology is recorded as unknown, not guessed.
- Create the manifest. Write
.paved/manifest.yamlfromtemplates/manifest.yaml. Create only paths listed in the consumer layout of the Coremanifest.yaml. - Draft Project Context. Run the generators if they are available. Otherwise create
feature-map entries only for features a human names, marked
declared. - Discover verification. For each check type, look for the command the repository
already uses (build files, CI configuration, contributor documentation). Add it to
.paved/verification/profile.yamlonly after running it once successfully. Record the check types the repository lacks underunavailable, with the reason. - Connect agents. Add the Paved block to the root
AGENTS.mdfromtemplates/AGENTS.md. If the file exists, add the block and change nothing else. - Create app verification. When repository evidence shows a runnable user-facing
application or command-line interface and no matching
.paved/skills/verify-*guide exists, create one withcore.testing.app-verificationas part of initialization. Preserve any existing guide. A repository without such an interface needs no guide. - Validate. Validate every created document against its schema and fix what fails.
- Summarize what was created, what was proposed and what is unknown.
Tools
core.repository.status before starting (clean tree) and after (only .paved/ and AGENTS.md
changed).
Rules
core.quality.unknowns-stay-unknown is the main risk: onboarding tempts you to describe
the project. Write down only what you read in files or observed when running a command.
Verification
Schema validation of every created document (static-analysis); one recorded run of each
command added to the profile.
Evidence
The onboarding diff and one check result per profile check.
Completion criteria
- Manifest and verification profile exist and validate.
- Every profile check has run at least once, with its result in the evidence.
- A human has confirmed the adapter list, or it is empty.
Failure modes
| Failure | Signal | Response |
|---|---|---|
| Guessed execution | A Check's Tool capability has no resolved implementation | Resolve the binding or record the check as blocked |
| Invented context | Context describes behavior not seen in code | Delete the claims; record unknowns |
| Clobbered entry file | Diff shows changes outside the Paved block | Revert those lines |
| Adapter chosen by name alone | A technology is assumed from a directory name | Require a detect signal or a human decision |
References
None. The consumer layout is in the Core manifest.yaml (consumer_layout).
04 同仓库更多 Skills
sample-skill
Does a sample task. Use when a sample is needed.
unexplained-contract
Does a sample task. Use when a sample is needed.
shell-block
Does a sample task. Use when a sample is needed.
project-identifier
Does a sample task. Use when a sample is needed.
oversized
Does a sample task. Use when a sample is needed.
no-activation
Does a sample task.