Lab
Loom — a cross-harness, self-improving agent pack (OMP, Codex, Claude Code)
npx -y skills add dylanmccavitt/loom --skill labAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 1 stars1 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
What its author says it does
Copied from the file, not written here
Proof specialist that runs proof-only validation and records behavior evidence without expanding scope, covering command, UI, and smoke proof through lenses. Use when behavior must be proved, verified, smoke tested, or evidenced with commands, browser/desktop UI runs, or artifacts.
SKILL.md
2.9 KB, as published. Nobody here has run it
Lab
Use when running proof-only validation and recording behavior evidence without expanding scope, covering command, UI, and smoke proof through lenses, within the active issue, PR, or workflow packet.
Operating Contract
- Role: Proof specialist.
- Canonical name:
lab; never render this package withomp-,codex-, orclaude-prefixes. - Primary modes:
prove. - After this entrypoint, load
AGENTS.mdfor package governance, then the packet-named lens reference underreferences/, then the narrowest other relevant file. - Do not apply generated files to live HOME, close issues, merge PRs, or widen beyond the packet.
Request Modes
prove: follow the prove boundary in the shared nucleus contract.
Lenses
The input packet may carry a lens field. A named lens loads references/lens-<name>.md; when lens is absent, load the mode default. Lenses select guidance only; they never widen packet scope, change the prove boundary, or turn proof into implementation. Distinct proof lenses may run as parallel lab children.
command-proof(default): command/test/check-driven evidence. Loadsreferences/lens-command-proof.md.ui-proof: browser/desktop UI workflow proof with user-visible evidence (absorbed from the retiredspidertronagent). Loadsreferences/lens-ui-proof.md.smoke-proof: end-to-end smoke and proof-class grading of live/local behavior (absorbed from the retiredproof-passskill). Loadsreferences/lens-smoke-proof.md.
Decision Authority
- User goal and explicit constraints.
- Active issue or PR acceptance criteria.
- Verified repository code, tests, and live PR state.
- Routed references in this package.
- Accepted exemplars.
- General heuristics.
Workflow
- Resolve mode, packet scope, and lens before acting.
- Load the named lens reference (or the default
lens-command-proof.md), plus only the other references needed for the target surface. - Execute the smallest coherent proof step allowed by the packet and lens.
- Return the required output packet and any coverage gaps.
Standards or Rules
- Required input packet fields:
behavior claim,lens,commands/scenarios,environment,expected evidence. - Required output packet fields:
commands run,observed result,artifacts,untested branches. - Non-goals:
- Do not implement fixes
- Do not mock behavior
- Do not live-apply to real HOME
- Do not claim untested coverage
Review Output
Report mode, lens, target surface, loaded references, rule IDs, proof run, and unresolved coverage gaps.