Integration
SkillDev toolsLets your agent run and interpret coop's VM integration tests locally on Lima or remotely on Firecracker.
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the Integration skill
About this skill
Run and interpret coop's VM integration suite locally on Lima or remotely on Firecracker. Use when asked for integration testing or when guest-visible/lifecycle work needs its pre-merge gate.
What this skill tells your AI
The instructions your AI receives, as published by trailofbits/coop in .agents/skills/integration/SKILL.md and read by ahel’s review.
The runner is ./tests/run-integration.sh. Empty arguments run locally on
macOS/Lima; --remote user@host cross-compiles and runs on Linux/Firecracker.
Other supported arguments include --full, --profile LIST, and --name NAME.
Confirm the requested platform and prerequisites. A single host covers only one backend; never describe one backend as proving both. Run the suite with output redirected to a file, narrate progress during the long run, inspect the complete output, and report pass/fail per phase. Do not declare success unless the runner exits zero. Quote the failing phase, clean up the output file, and state any backend that was not run.
Signals
- GitHub stars
- 740
- Forks
- 38
- Last commit
- Oct 2026
Advanced
- Item type
- skill
- Key
integration-trailofbits- Source
- github.com/trailofbits/coop