1. Software Development

Requires running verification commands and confirming outputs before claiming code or task completion, preventing premature success declarations.

Generates executable Haskell code from Isabelle/HOL formal specifications using the export_code command.

Pushes local changes from the skill folder to a GitHub repository.

Applies changes from OpenSpec specifications, enabling efficient start, continuation, or completion of implementation tasks.

Autonomous feature implementation engine that manages its own state and returns simple status strings for seamless integration into software systems.

Assists in defining datatypes, recursive functions, and records within the Isabelle/HOL proof assistant for formal verification tasks.

Adds project-specific patterns, commands, and gotchas to .pulse/PROJECT.md for improved developer feature implementation guidance.

Validates implementation against change artifacts to ensure completeness, correctness, and coherence before archiving.

Automates codebase exploration through parallel command execution with security context to extract relevant code context efficiently.

Expert assistance for Prisma ORM, covering schema design, migrations, query optimization, and relation management in database interactions.

Automatically profiles and optimizes code performance upon detecting terms like 'performance', 'profiling', or 'bottlenecks'.

Creates atomic, conventional Git commits with Beads references and validation evidence.

Automatically generates comprehensive unit tests from existing code upon user request for testing tasks.

Provides a disciplined workflow for implementing Go code changes, including planning, diff review, and verification steps.

Continues an OpenSpec change by generating the next required artifact in the specification workflow.

Guides developers in finalizing a completed development branch by presenting structured options for merge, PR, or cleanup.

Enables frontend asset compilation, local server execution, and visual approval workflow prior to code commitment.

AI agent that autonomously plans, implements, and verifies code changes with mandatory human approval for safe, collaborative development.

Automates pull request creation, Git operations, test execution, and CI monitoring for code review and merging in development workflows.

Automates generation and refinement of unit tests to meet code coverage targets through iterative agent collaboration.

A four-phase debugging framework (root cause investigation, pattern analysis, hypothesis testing, implementation) ensuring thorough understanding before proposing solutions.

Explores codebases to efficiently gather context for development tasks, preserving context window and leveraging cost-effective model strategies.

Expert TypeScript assistance for type definitions, interfaces, generics, and strict mode configuration to enforce type safety.

Guides technical verification of code review feedback to ensure accurate implementation, avoiding blind acceptance of suggestions.