Skip to main content
hashintel
GitHub 제작자 프로필

hashintel

3개 GitHub 저장소에서 수집된 80개 skills를 저장소 단위로 보여줍니다.

수집된 skills
80
저장소
3
업데이트
2026년 9월 5일
저장소 탐색

저장소와 대표 skills

spec-fixture
소프트웨어 품질 보증 분석가·테스터

Author a completed-spec fixture — a seeded intent graph plus a believable four-phase interview transcript — for a brunch feature, so it can feed any downstream tooling that consumes a completed spec or dogfood the UI. Use when you need a real completed…

2026년 6월 8일
ln-pr-review
소프트웨어 개발자

Review someone else's PR through an architectural/strategic lens — does it shift design, raise complexity, or quietly change precedent? Drives a brief reflective discussion with the user, then posts a concise review comment via `gh`. Defers line-level and…

2026년 6월 8일
ln-spec
컴퓨터 시스템 분석가

Crystallize shared understanding into a reviewable spec, or update an existing one. Use when the problem needs a written specification, when assumptions or decisions have changed, or when the user says 'write a spec'.

2026년 5월 19일
ln-consult
프로젝트 관리 전문가

Lightweight triage for the ln-* skill set. Use when unsure which ln skill to use next, starting work on something new, or when the user asks for guidance on their development process.

2026년 5월 15일
ln-design
소프트웨어 개발자

Explore radically different module shapes before committing to one. Use when choosing an API surface, deciding what a module hides vs exposes, or when the user says 'design it twice'.

2026년 5월 15일
ln-disambiguate
프로젝트 관리 전문가

Collapse meaningful ambiguity with contrastive examples. Use when a plan/design has several plausible meanings, requirements feel vague, examples would clarify intent faster than grilling, or the user asks to disambiguate, find ambiguity, use behavioral…

2026년 5월 15일
ln-review
소프트웨어 품질 보증 분석가·테스터

Audit code quality focusing on deep modules, naming, model hygiene, and architectural clarity. Use after a burst of development, when codebase structure needs assessment, or to make code more agent-navigable.

2026년 5월 15일
ln-sync
소프트웨어 개발자

Refresh `memory/SPEC.md` and `memory/PLAN.md` in mature mode — restore canonical truth, archive retired plan history, delete stale derivative artifacts, and flag drift against code.

2026년 5월 15일
수집된 skill 40개 중 8개를 표시합니다.
publishing-packages
소프트웨어 개발자

Conventions for publishing npm packages from this repository, including when a PR needs a changeset and how to write one. Use when adding or editing a changeset, versioning or releasing a package, or deciding whether a change to a publishable library needs a…

2026년 9월 5일
gherkin-specification
소프트웨어 품질 보증 분석가·테스터

Elicit or revise software behavior, maintain a recoverable behavior workpiece, and author or review honest Gherkin feature documents. Use for a behavior-specification interview, Gherkin document, executable-specification draft, or review of any of them.

2026년 9월 4일
elicitation
프로젝트 관리 전문가

Acquire and improve an epistemically responsible account of what a person knows through adaptive conversation. Use before substantive interviewing, when an existing account must be corrected or extended with human knowledge, or when accounts conflict.

2026년 9월 4일
dafny-verification
소프트웨어 품질 보증 분석가·테스터

Stub. Elicit software correctness obligations, maintain a recoverable correctness workpiece, and author or review Dafny specifications with an honest account of what was stated, assumed, discharged, skipped, or trusted. Use for a correctness interview or a…

2026년 9월 4일
gherkin-specification
소프트웨어 품질 보증 분석가·테스터

Elicit or revise software behavior, maintain a recoverable behavior workpiece, and author or review honest Gherkin feature documents. Use for a behavior-specification interview, Gherkin document, executable-specification draft, or review of any of them.

2026년 9월 4일
sdcpn-modelling
소프트웨어 개발자

Elicit or revise an operational process model, maintain its recoverable workpiece, and construct a checked SDCPN when Petrinaut capabilities are available. Use for a process-modelling interview, Petri net, or analysis or revision of either artifact.

2026년 9월 4일
petrinaut-shipping
네트워크·컴퓨터 시스템 관리자

End-to-end procedure for shipping a change to the Petrinaut packages (libs/@hashintel/petrinaut, petrinaut-core, petrinaut-cli, apps/petrinaut-opt, apps/petrinaut-website): the verification gates per package, the changeset step, docs sync, pre-PR hygiene…

2026년 9월 3일
rust-testing-strategy
소프트웨어 품질 보증 분석가·테스터

HASH Rust testing strategy. Use when writing Rust unit, integration, or snapshot tests, or choosing assertion and test-organization patterns.

2026년 9월 3일
수집된 skill 20개 중 8개를 표시합니다.
petrinaut
소프트웨어 개발자

Read and write a Petri net (SDCPN) document by Automerge URL. Use when creating, editing, or querying Petri nets — adding or removing places, transitions, arcs, color types, differential equations, and parameters.

2026년 4월 30일
assumptions
소프트웨어 개발자

Create and maintain an Assumption Ledger — a persistent record of assumptions, their confidence, and validation status. Use when starting a new slice, resuming work in a new context window, or when implicit assumptions risk causing drift. Tracks requirements,…

2026년 3월 23일
capsule
소프트웨어 개발자

Create or update a concept capsule — the conceptual anchor for a project or feature area. Use before writing code on a new project or feature, or when terms and boundaries feel unclear. Defines glossary, invariants, happy-path scenario, and non-goals.

2026년 3월 23일
card
행정 서비스 관리자

Write a tracer-bullet card — a precise specification for one thin end-to-end slice of work. Use when scoping a new slice, defining what to build next, or breaking a feature into provable increments. Covers target behavior, boundary crossings, risks, and…

2026년 3월 23일
characterize
소프트웨어 품질 보증 분석가·테스터

Create characterization tests (Golden Master) for existing code so you can refactor or replace safely. Use before refactoring, strangler-replacing, or modifying code with unclear behavior. Captures observable behavior with a minimal harness, producing tests,…

2026년 3월 23일
consult
소프트웨어 개발자컴퓨터 시스템 분석가

Methodology triage consultant for tracer-bullet development. Use when unsure which pragma skill to run next, when starting a new project, or when the current approach feels stuck. Interviews the user, assesses state, and recommends the next pragma skill.

2026년 3월 23일
contract
소프트웨어 개발자

Turn capsule invariants and boundary crossings into executable contracts. Use after creating a concept capsule, or when invariants need to be enforced in code. Covers preconditions, postconditions, constructor validation, domain types, and contract tests.

2026년 3월 23일
feedback-loops
컴퓨터 시스템 분석가

Design feedback loops and validation harnesses before starting implementation. Use when beginning any non-trivial development task, when the agent can't easily validate its own work, or when asked to set up a development harness, playground, or experiment…

2026년 3월 23일
수집된 skill 20개 중 8개를 표시합니다.
저장소 3개 중 3개 표시
모든 저장소를 표시했습니다