Menú
First-time repo setup — submodules, dependencies, and verification
Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.
Basado en la clasificación ocupacional SOC
Review the code and run quick checks.
Guide for writing a new Pedro BPF plugin — structured output via .pedro_meta, build setup, and testing.
Complete the required presubmit. Use before declaring a feature finished, after a large refactor or when asked.
| name | setup [dev] |
| description | First-time repo setup — submodules, dependencies, and verification |
Set up the Pedro repository from a fresh clone so it builds and passes all tests.
Switch to the right branch and do a pull
If the user passed dev as argument, the switch to the dev branch before doing anything.
Otherwise switch to master. In both cases, run a git pull --rebase.
Ensure git submodules are checked out
Run git submodule update --init --recursive from the project root. Verify by checking that
vendor/abseil-cpp and vendor/libbpf are non-empty.
Run full setup
Run ./scripts/setup.sh -a to install all build, test, and dev dependencies. This takes a while
— capture output to a temp file. It's normal for this step to take up to 30+ minutes. Check the
output for errors. If setup reports a needed reboot (grub/kernel config changes), inform the user
and stop.
Run quick tests
Invoke /quicktest (no arguments) to run unit tests and verify the build works. If tests fail,
investigate and report — don't proceed to presubmit until unit tests pass.
Run presubmit
Invoke /presubmit to run the full presubmit suite (includes e2e tests, formatting, linting). If
failures occur, investigate and report to the user.
Report results
Summarize what was done and the final state:
