hashintelhashintelOfficialยท1 Agent Skills Included

labs

Structured planning, slicing, and verification workflows for coding

Guides software work through disciplined planning, thin end-to-end slices, and test-first delivery. Replaces vague prompts and unverified code with capsules, cards, spikes, and executable contracts. Includes Petri net document editing and feedback-loop harness design for reliable validation. Helps teams ship correct code faster with less rework and fewer regressions.
npx skills add hashintel/labs --all -g -y
Available:

Tells the agent how the pragma skills are organized, which entrypoint to start with, and enforces a strict format-lint-typecheck-test verification loop before any code is committed.

All Skills in This Repository (1)

Pure Emerald Level Indicators

Frequently Asked Questions

FAQPage Schema
How to install hashintel/labs?โ–ผ

Run `npx skills add hashintel/labs --all -g -y` in your terminal to install all skills in this repository globally.

What is the pragma tracer-bullet methodology?โ–ผ

It is a structured workflow where the agent defines a concept capsule, writes a thin slice card, implements it test-first, then refactors and verifies before moving on.

How do I start using the pragma skills?โ–ผ

Start with the consult skill, which interviews you about your current state and recommends the exact next skill to run.

Can these skills help refactor legacy code safely?โ–ผ

Yes. The characterize skill locks down existing behavior with golden-master tests before any refactoring, so changes never silently break working code.

Do I need coding experience to use these skills?โ–ผ

Basic development familiarity helps, since the skills guide real software projects, but the agent handles the detailed planning and verification steps for you.

Related Repositories in Software Engineering

View All in Software Engineeringโ†’