{"owner":"ProvableHQ","repo":"snarkOS","hasSkills":true,"hasMcp":false,"mcpConfig":null,"found":["AGENTS.md"],"skills":{"AGENTS.md":"# Agent Guidelines\n\n## Formatting and Lints\n\nAlways run the following after any code modification:\n\n```bash\ncargo +nightly fmt\ncargo clippy --workspace --all-targets --all-features -- -D warnings\n```\n\n## Modifying BFT Code\n\nWhen making changes to BFT-related code (anything under `node/bft/`), run the following checks in order:\n\n### 1. Unit tests\n\n```bash\ncargo test -p snarkos-node-bft --lib\n```\n\n### 2. Build with test features\n\nThe CI scripts invoke `snarkos` by name, so the binary must be on PATH. Build it with the\n`test_network` feature and prepend the output directory to PATH:\n\n```bash\ncargo build --features test_network\nexport PATH=\"$PWD/target/debug:$PATH\"\n```\n\n### 3. Devnet test\n\n```bash\n.ci/test_devnet.sh\n```\n\n### 4. Additional CI tests\n\nAsk the user whether they want to run the following tests before merging. These cannot run\nconcurrently and take significant time in total, so they are not always run on every change.\n\n```bash\n.ci/test_partial_upgrade.sh\n.ci/test_full_upgrade.sh\n.ci/test_restart_majority.sh\n.ci/test_reset_minority.sh\n.ci/test_restart_all.sh\n```\n"},"files":{"AGENTS.md":"# Agent Guidelines\n\n## Formatting and Lints\n\nAlways run the following after any code modification:\n\n```bash\ncargo +nightly fmt\ncargo clippy --workspace --all-targets --all-features -- -D warnings\n```\n\n## Modifying BFT Code\n\nWhen making changes to BFT-related code (anything under `node/bft/`), run the following checks in order:\n\n### 1. Unit tests\n\n```bash\ncargo test -p snarkos-node-bft --lib\n```\n\n### 2. Build with test features\n\nThe CI scripts invoke `snarkos` by name, so the binary must be on PATH. Build it with the\n`test_network` feature and prepend the output directory to PATH:\n\n```bash\ncargo build --features test_network\nexport PATH=\"$PWD/target/debug:$PATH\"\n```\n\n### 3. Devnet test\n\n```bash\n.ci/test_devnet.sh\n```\n\n### 4. Additional CI tests\n\nAsk the user whether they want to run the following tests before merging. These cannot run\nconcurrently and take significant time in total, so they are not always run on every change.\n\n```bash\n.ci/test_partial_upgrade.sh\n.ci/test_full_upgrade.sh\n.ci/test_restart_majority.sh\n.ci/test_reset_minority.sh\n.ci/test_restart_all.sh\n```\n"},"items":[{"name":"AGENTS.md","path":"AGENTS.md","title":"AGENTS.md","content":"# Agent Guidelines\n\n## Formatting and Lints\n\nAlways run the following after any code modification:\n\n```bash\ncargo +nightly fmt\ncargo clippy --workspace --all-targets --all-features -- -D warnings\n```\n\n## Modifying BFT Code\n\nWhen making changes to BFT-related code (anything under `node/bft/`), run the following checks in order:\n\n### 1. Unit tests\n\n```bash\ncargo test -p snarkos-node-bft --lib\n```\n\n### 2. Build with test features\n\nThe CI scripts invoke `snarkos` by name, so the binary must be on PATH. Build it with the\n`test_network` feature and prepend the output directory to PATH:\n\n```bash\ncargo build --features test_network\nexport PATH=\"$PWD/target/debug:$PATH\"\n```\n\n### 3. Devnet test\n\n```bash\n.ci/test_devnet.sh\n```\n\n### 4. Additional CI tests\n\nAsk the user whether they want to run the following tests before merging. These cannot run\nconcurrently and take significant time in total, so they are not always run on every change.\n\n```bash\n.ci/test_partial_upgrade.sh\n.ci/test_full_upgrade.sh\n.ci/test_restart_majority.sh\n.ci/test_reset_minority.sh\n.ci/test_restart_all.sh\n```\n","category":"root","tokens":272}]}