リポジトリの README を読み込んでいます…
収集済み skill 3 件中 3 件を表示しています。
How to verify a change in the gol repo. Use whenever scripts/verify-plan.sh or the AGENTS.md "Verification" table fires any trigger other than T0; when touching formal/, a FINDINGS.md, the crates/protocol reducers, crates/harness/src/driver.rs, the run store…
原文の言語: 英語
Bend rules for the gol repo. Use for any change under experiments/bend/, crates/workflow-bend/, scripts/install-bend.sh, scripts/verify-bend.sh or docs/bend.md (AGENTS.md trigger T6), a Bend version bump, a new Bend law, proof or program, or any claim about…
原文の言語: 英語
Use when writing, reviewing, hardening, or designing Rust for high-stakes or long-lived crates, or when auditing how a crate is verified (Miri, Loom, Kani, TLA+, Lean). Checklist for exhaustive testing, trustworthy benchmarks, data layout, misuse-resistant…
原文の言語: 英語
このプロンプトをコピーして、使用中の AI アシスタントに送ってください。
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/gol.README を読み込めませんでした。リポジトリの Skill 一覧は下で引き続き確認できます。