Chargement du README du dépôt…
Affichage de 3 skills collectés sur 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…
Langue du texte source : anglais
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…
Langue du texte source : anglais
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…
Langue du texte source : anglais
Copiez ce prompt dans l’assistant IA que vous utilisez.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/hexuria/gol.Le README n’a pas pu être chargé. Vous pouvez toujours consulter les Skills du dépôt ci-dessous.