메뉴
Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository.
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
직접 명령은 검토 Prompt를 거치지 않습니다. 실행하기 전에 소스를 확인하세요.
npx skills add https://github.com/CharlesHoskinson/midnight-cardano-bridge --skill bridge-formal-workflow명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? SkillsMP에서 현재 제공할 수 있는 파일을 다운로드하세요.
SKILL.md 표시 중
| name | bridge-formal-workflow |
| description | Use when bridge work involves Lean, Quint, proof claims, cross-layer correspondence, formal evidence, recovery, audit, or release decisions in the active bridge repository. |
This namespaced plugin skill is a locator. It does not define formal policy.
The locked canonical package SHA-256 is
c6f7a0089ed252328375c2ca7c33003c91c4bf6db8dc9ba7dc6193a450e8c87d.
Run each discovery, presence check, verifier invocation, and file read as one separate command. Do not use shell separators, pipelines, redirection, command substitution, variables, recursive reads, or more than one path in a command. Use literal paths.
Use only these command forms during discovery and canonical-package reading:
git rev-parse --show-topleveltest -f <one-literal-path>/usr/bin/python3 -I -B verifier command in step 3sed -n '1,240p' <one-literal-path>At the locked canonical hash, the skill and every routed reference are each
fewer than 240 lines. One allowed read completes each file. Do not issue a
second sed page during this bootstrap.
Do not use nl, cat, head, tail, ls, wc, sha256sum, or any other
command during this locator bootstrap. This restriction ends after the canonical
skill and its routed references are loaded. The canonical skill and
repository-owned commands then control all later actions.
Set repo to the active checkout from git rev-parse --show-toplevel.
Require scripts/verify-formal-skill-package.py, formal/toolchain.lock,
and .agents/skills/bridge-formal-workflow/SKILL.md below that root. If any
path is absent, stop with bridge-formal-methods installation error: active checkout has no canonical bridge formal workflow.
Run the repository verifier below. Replace each <absolute-repo> token with
the literal absolute root from step 1; do not use a shell variable.
/usr/bin/python3 -I -B <absolute-repo>/scripts/verify-formal-skill-package.py --repository-root <absolute-repo> --expected-aggregate-sha256 c6f7a0089ed252328375c2ca7c33003c91c4bf6db8dc9ba7dc6193a450e8c87d
The verifier checks the aggregate, complete file set, entrypoint, and every
per-file hash against formal/toolchain.lock without creating build output.
If it rejects any package byte, stop with
stale formal skill snapshot: expected canonical package c6f7a0089ed252328375c2ca7c33003c91c4bf6db8dc9ba7dc6193a450e8c87d.
Read .agents/skills/bridge-formal-workflow/SKILL.md completely with the
allowed sed form. Follow its reference routing and instructions from the
active checkout. Read each routed reference with that same sed form.
Do not emit the capability attestation as a progress message or a marker-only message. After successful verification, do not send a user-visible message until the final substantive response is ready. The final substantive response must have this exact capability attestation as its first line:
Capability: bridge-formal-methods:bridge-formal-workflow; canonical-package-sha256: c6f7a0089ed252328375c2ca7c33003c91c4bf6db8dc9ba7dc6193a450e8c87d