Hakkadaikon
Community@Hakkadaikon · Asia/Tokyo
Joke, Vim, Nostr, Bitcoin. We have no limits
Agent Skills by Hakkadaikon
Showing 61 vetted skills indexed across 1 GitHub repositories.
Hakkadaikontest-structure-lifecycle
Applies Four-Phase Test and Test Data Builder patterns to structure test lifecycle and fixture data.
Hakkadaikontest-catalog
Assigns test techniques to T-ID ledger behaviors via an index of 40 technique skills.
Hakkadaikonflakiness-external
Detect and contain test flakiness caused by external network calls and real-time sleeps.
Hakkadaikonwhitebox-dataflow-loop
Designs loop boundary and def-use dataflow test cases for whitebox coverage.
Hakkadaikonexperience-checklist
Applies checklist-based testing and error guessing to externalize testing experience into enumerated test cases.
Hakkadaikonusing-hymme
Maps hymme verification and workflow skills onto superpowers development phases.
Hakkadaikonexperience-scenario
Designs black-box test cases from use case flows, realistic scenarios, and grammar mutations.
Hakkadaikonmicro-commit
Splits uncommitted changes into logical units and creates conventional commits of roughly 30-50 lines each.
Hakkadaikonflakiness-value
Detect and contain test flakiness caused by time, randomness, and floating-point nondeterminism.
Hakkadaikonlevels-service
Guides component, contract, and API schema testing for independently deployable services.
Hakkadaikonoracle-past-output
Applies snapshot, approval, and characterization testing techniques that use past outputs as test oracles.
Hakkadaikonrebase-flow
Enforces a gated approval, backup, and verification workflow for safe git rebase operations.
Hakkadaikonstrategy-operations
Plans test placement, environments, data, flakiness handling, and CI gating for test strategy.
Hakkadaikongenerative-fuzzing
Tests parser robustness by flooding untrusted input boundaries with generated malformed and random inputs.
Hakkadaikonnonfunctional-perf
Defines measurement-based non-functional tests for performance, load, stress, spike, soak, scalability, and capacity.
Hakkadaikonnonfunctional-attributes
Guides quality-assurance nonfunctional testing covering security, accessibility, compatibility, and contract verification.
Hakkadaikontest-doubles
Classify test doubles and apply Testcontainers for real middleware integration testing.
Hakkadaikonlevels-system
Guides system, E2E, and acceptance testing with coverage criteria and step-by-step procedures.
Hakkadaikonoracle-model-based
Generates stateful model-based tests that compare implementations against abstract state machine models.
Hakkadaikonnonfunctional-resilience
Validates fault-injection resilience patterns and migration data-integrity invariants through structured test procedures.
Hakkadaikontdd-cycle
Applies t-wada style TDD practices to Red-Green-Refactor cycles with test-list-first planning.
Hakkadaikonlevels-operational
Guides smoke, sanity, and regression testing for post-deploy operational verification.
Hakkadaikonai-nondeterministic
Design tests for LLM-assisted test generation and nondeterministic model outputs.
Hakkadaikontest-structure-anatomy
Structures individual tests using AAA, Given-When-Then, and table-driven patterns.
Frequently Asked Questions About Hakkadaikon
FAQPage SchemaWhat tasks can I accomplish using Hakkadaikon's skills?▼
You can design tests end-to-end (behavior extraction, technique selection from a 40-skill catalog, regression fixing), verify designs with TLA+/TLC model checking, prove properties in Lean 4, investigate GitHub Actions CI failures, run multi-lens diff reviews, and perform guarded git rebase/reset/commit operations.
Who are these skills designed for?▼
Software engineers and QA practitioners working on test strategy, flaky-test remediation, and coverage rigor, plus developers who need formal correctness guarantees for protocols, state machines, and algorithms, and teams enforcing disciplined commit, PR, and review practices.
How do the test-design skills work in practice?▼
The test-design router delegates to test-extract (build a T-ID behavior ledger), then test-catalog (assign techniques like pairwise, mutation, or contract testing per behavior), then test-verify (hand off to TDD implementation and gate on coverage, flakiness, and mutation score before fixing tests into CI regression).
What are the prerequisites for the loop-engineering and formal-verification skills?▼
Loop-engineering requires completing loopeng-extract's requirements ledger before EARS/TLA+ formalization, and TLC results before Gherkin conversion. Formal-verification targets Lean 4 specs. Git safety skills require the bundled git-guard hook, which mechanically blocks rebase/reset without a backup branch.
Are these skills open source and what do they cost?▼
The skills are published in Hakkadaikon's public GitHub repositories (89 public repos) as skill manifests with native frontmatter. No licensing fee or paid tier is indicated in the manifest; they are invoked as user-invocable or router-delegated skills within the host environment.