kevinslin/integ
active/integ/SKILL.md
Use only when explicitly invoked to manage ~/integ/[project] harness repos.
$ install --global
skillsauthnpx skillsauth add kevinslin/skills integInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: May 10, 2026, 7:13 AM176.4s2 files scanned
SKILL.md
- name:
- integ
- description:
- Use only when explicitly invoked to manage ~/integ/[project] harness repos.
- dependencies:
- []
integ
Use this skill only when the user explicitly invokes integ.
Goal
Keep integration harnesses out of the product repo. Each project gets a separate git repo at ~/integ/<project> with this shape:
AGENTS.md
proof/
1/
scripts/
The integration repo is for harness code, fixtures, runner scripts, and proof artifacts. The associated source repo stays in its normal checkout elsewhere on disk.
Bootstrap Workflow
- Determine the associated source repo path.
- If the user gives a path, use it.
- Otherwise, if the current working directory is already the intended product repo, use its git root.
- If neither is true, ask for the source repo path before bootstrapping.
- Determine the integration repo name.
- Prefer the user-supplied project name.
- Otherwise derive it from the associated repo directory name.
- Bootstrap or refresh the integration repo with:
python3 /Users/kevinlin/code/skills-public/active/integ/scripts/bootstrap_integ_repo.py \
<project> \
--associated-path /absolute/path/to/source/repo \
[--test-command '<integration command>']
Pass --test-command more than once when the runner should execute multiple commands.
- Inspect
~/integ/<project>/AGENTS.mdand~/integ/<project>/scripts/run_integration_tests.sh.- If the user supplied the real test command, make sure the runner uses it.
- If not, leave the placeholder runner in place and tell the user it still needs the project-specific command.
- Keep harness-only code in
~/integ/<project>. Do not copy product source into the integration repo.
Proof Runs
- Use
python3 ./scripts/new_proof_dir.pyfrom the integration repo to allocate the next proof directory. - Keep proof numbers monotonic:
1,2,3, ... - Store logs, screenshots, exports, and notes for one run inside that run's directory.
- Use
./scripts/run_integration_tests.shas the canonical entrypoint unless the repo'sAGENTS.mddocuments a replacement.
Operating Rules
- Treat each
~/integ/<project>as a standalone git repo. - Keep the source repo path in
AGENTS.mdabsolute so the on-disk association is unambiguous. - Prefer editing the generated scripts in the integration repo over pasting one-off shell into
AGENTS.md.
Related Skills
kevinslin/agtask
development
VerifiedTrustedCommunity
Create, rename, audit, or close a tracked Codex task whose turns and status are persisted in the local thread ledger. Only use when directly invoked.
21SKILL.mdUpdated Jul 27, 2026
kevinslin/aggit
testing
VerifiedTrustedCommunity
Manage Git preflight, branch and worktree creation, and completed-work cleanup. Use when explicitly invoked.
21SKILL.mdUpdated Jul 27, 2026
kevinslin/mem
databases
VerifiedTrustedCommunity
Automatically use for durable knowledge, configured project-context lookup, and schema-backed artifact layouts.
21SKILL.mdUpdated Apr 28, 2026
kevinslin/sc
content-media
VerifiedTrustedCommunity
Create, update, or optimize skills and SKILL.md content.
21SKILL.mdUpdated Apr 6, 2026