Agent skills for Devin Desktop

Use to forge the central argument of a Critical Inquiry (CI) essay into a genuine intervention.

Build a final, machine-readable argument snapshot from current H3 sections and refresh section fingerprints before merge.

Diagnose xcodebuild builds using argus. Use this instead of parsing xcodebuild output to avoid filling the context window. Query build…

Orchestrates a complete multi-perspective Argus code review of a change — correctness, security, performance, and architecture — each…

Use this skill when building or refactoring React interfaces with Ariakit, especially dialogs, menus, popovers, comboboxes, tabs, select…

Translates natural language mathematical questions into optimal prompts for Harmonic's Aristotle formal theorem prover, submits them via…

Manages Arize users, organizations, spaces, projects, roles, role bindings, resource restrictions, and API keys via the ax CLI.

Design architecture for Ark features following existing patterns and principles.

Guidance for developing the Ark Kubernetes operator.

Consolidate open Dependabot PRs into a single integration branch.

Guidance for structuring Ark documentation using the Diataxis framework.

Search, list, view, and update existing GitHub issues.

Ark Method — building professional software with AI without outsourcing the thinking.

Research technical solutions by searching the web, examining GitHub repos, and gathering evidence.

Regenerate and debug types across the ARK stack (SDK, API, Dashboard).

Set up and install the Ark platform from source.

Set up and install the Ark platform in a Kubernetes cluster.

Send and receive Bitcoin over Arkade (offchain), onchain (via onboard/offboard), and Lightning.

Senior embedded software engineer specializing in firmware and driver development for ARM Cortex-M microcontrollers (Teensy, STM32, nRF52…

Guides migration of code between Arm SoCs with architecture-aware analysis and safe migration practices.

Creates and validates Azure Resource Manager (ARM) templates for infrastructure deployment.