Agent Skills

Reusable skills for AI coding agents. Each skill packages a focused workflow, domain rules, primary references, and completion checks in a self-contained directory.

The repository uses the Agent Skills layout understood by Oh My Pi and compatible skill loaders. Each skill lives in a directory with a SKILL.md file. A skill can also include assets/, references/, and scripts/.

Available skills

Agent tooling

Skill	Context tokens	Purpose
agent-skills-standard	2,934	Audit new and updated Agent Skills packages, gate skill repository commits, migrate catalogs, and add standards-compatible discovery and activation to agent clients.
omp-skill-hardener	2,412	Mine repeated failures from OMP sessions, turn them into approved skill or AGENTS.md changes, and test the new rules.

Cryptography

Skill	Context tokens	Purpose
csidh-ctidh	7,247	Design, integrate, implement, review, and test CSIDH-family isogeny group actions, NIKE protocols, and hardware golden models.
falcon-fn-dsa	8,508	Implement, integrate, test, and audit Falcon signatures and provisional FN-DSA using the active c-fn-dsa reference.
nist-cavp	2,729	Find, download, parse, and integrate NIST CAVP archives and ACVP vector sets for cryptographic primitives and components.
noise-protocol	4,441	Design, integrate, test, and review Noise handshakes, protocol suites, transport states, and key lifecycles.
ristretto255	2,790	Implement, integrate, and review ristretto255, including canonical encoding, hash-to-group, scalars, constant-time operations, protocol use, and RFC vectors.
wycheproof	2,184	Integrate and audit current Project Wycheproof vectors against cryptographic implementations, schemas, and result semantics.

Formal methods

Skill	Context tokens	Purpose
tamarin-prover	4,525	Install and use Tamarin Prover to model, prove, inspect, and troubleshoot symbolic security protocol properties.

Development

Skill	Context tokens	Purpose
act	6,626	Install, configure, run, and troubleshoot local GitHub Actions with nektos act; select events, jobs, matrices, runner images, and safe credentials while tracking GitHub parity gaps.
android-ble	6,545	Implement, migrate, test, and troubleshoot Android BLE scanning, GATT lifecycle, background, permissions, and Android 17 behavior.
android-ble-gatt-queue	4,721	Implement, review, test, and debug coroutine-serialized Android GATT client operations, callbacks, cancellation, and timeout reset.
android-ble-gatt-server	5,129	Implement, review, test, and troubleshoot Android local GATT databases, ATT requests, prepared writes, subscriptions, and updates.
android-ble-gatt-status	5,313	Diagnose, mitigate, and test Android GATT connection/status failures, including opaque legacy status 133.
android-ble-inspector	4,909	Build, review, test, and troubleshoot Android Compose BLE scanners, GATT trees, operation controls, and value decoders.
android-bluetooth-sockets	5,457	Implement, review, test, and troubleshoot Android RFCOMM and LE CoC socket clients, servers, streams, and lifecycle.
android-debug-bridge	5,241	Install, configure, use, and troubleshoot adb device targeting, USB/Wi-Fi transports, shell commands, apps, files, ports, and diagnostics.
android-material3-compose	7,329	Design, implement, review, test, and migrate Android Material 3 interfaces with Jetpack Compose.
arrange-act-assert	3,158	Structure, review, and refactor example-based tests into clear Arrange, Act, and Assert phases.
ble-protocol-stack	5,621	Design, validate, and troubleshoot BLE GAP, GATT, ATT, L2CAP schemas, procedures, caching, and channels.
ble-throughput	5,141	Measure, model, diagnose, and optimize BLE throughput across PHY, Link Layer, ATT/GATT, mobile, and application queues.
compose-multiplatform	5,634	Design, implement, test, and ship shared Compose UI across Android, iOS, desktop, and web.
corebluetooth	5,295	Implement, review, test, and troubleshoot Apple Core Bluetooth central/peripheral apps, lifecycle, data flow, and restoration.
detekt	3,629	Configure, run, migrate, and troubleshoot detekt static analysis for Kotlin projects.
gobley	8,607	Embed Rust in Kotlin Multiplatform with Gobley; generate UniFFI bindings, package native libraries, and diagnose interop builds and lifetimes.
kover	3,197	Configure, verify, aggregate, and troubleshoot Kotlinx Kover JVM coverage for Kotlin projects.
kotlin-api-reference	3,295	Find and verify versioned, platform-specific Kotlin ecosystem API declarations and source.
kotlin-binary-compatibility	4,525	Configure, run, migrate, and review Kotlin ABI validation with built-in KGP or the legacy validator.
kotlin-coroutines	4,725	Design, implement, test, and troubleshoot Kotlin coroutines, Flow, channels, cancellation, and structured concurrency.
kotlin-development	3,306	Implement, review, build, test, and troubleshoot Kotlin projects across JVM, Android, Kotlin Multiplatform, JavaScript, Wasm, and Native.
kotlin-gradle	4,450	Configure, migrate, optimize, and troubleshoot Kotlin Gradle builds, toolchains, compiler options, and caches.
kotlin-multiplatform	4,318	Design, configure, migrate, test, publish, and troubleshoot Kotlin Multiplatform targets, source sets, hierarchies, and variants.
kotlin-native-apple-interop	4,690	Configure, export, import, and troubleshoot Kotlin/Native interoperability with Swift, Objective-C, and Apple frameworks.
kotlin-power-assert	3,929	Configure, use, debug, and expose Kotlin Power-assert diagnostics, transformed functions, and assertion APIs.
kotlinpoet	6,058	Generate, review, test, and troubleshoot deterministic Kotlin source with Square KotlinPoet.
kotlinx-benchmark	4,500	Configure, run, compare, and troubleshoot multiplatform Kotlin microbenchmarks with kotlinx-benchmark.
kotlinx-serialization	4,628	Design, configure, evolve, test, and troubleshoot kotlinx.serialization wire formats and schemas.
ksp	5,645	Configure, author, test, migrate, and troubleshoot Kotlin Symbol Processing consumers and processors.
lincheck	3,803	Design, run, interpret, and troubleshoot JVM concurrency tests with Lincheck model checking and stress strategies.
libacvp-json-kotlin	7,584	Model, parse, validate, and test libacvp and ACVP JSON artifacts in Kotlin.
maven-central-publishing	6,397	Register, configure, validate, publish, and troubleshoot releases through the Sonatype Central Portal.
remote-xcode-signing	9,564	Build, sign, archive, and export iOS apps on remote Macs over SSH; configure keychain access and evaluate Xcode MCP orchestration.
skie	3,415	Install, migrate, configure, and troubleshoot Touchlab SKIE for Kotlin Multiplatform Swift interop.
spotless	3,938	Configure, apply, verify, migrate, and troubleshoot Spotless formatting for Gradle and Maven projects.
terminal-diagrams	4,507	Design, render, and validate aligned ASCII, Unicode box-drawing, and ANSI-colored terminal or Markdown diagrams.
ubique-uniffi	9,666	Integrate Rust with Kotlin Multiplatform using Ubique UniFFI; generate bindings, compose shared types across modules, package target binaries, and diagnose runtime ownership and ABI failures.
xtool	2,508	Install, configure, use, and troubleshoot xtool for SwiftPM-driven iOS development and device deployment.

Documentation

Skill	Context tokens	Purpose
diataxis	2,724	Write, audit, and improve tutorials, how-to guides, reference, explanation, documentation architecture, and documentation quality.
dokka	4,501	Configure, generate, publish, migrate, and troubleshoot Dokka API documentation for Kotlin and mixed Java projects.

Open a skill's SKILL.md for its full procedure and source material.

Context tokens use tiktoken>=0.14 with the GPT-5.6-compatible o200k_base encoding. Each value is the sum of SKILL.md and direct files under assets/ and references/; scripts and license files are excluded. Resources load only when needed, so the table is a packaged-context upper bound rather than the cost of every activation.

Regenerate the table values from the repository root:

python3 agent-skills-standard/scripts/count-context.py --root .

Categories are catalog metadata. They do not affect skill invocation, and skill directories remain at the repository root.

Install

The skills CLI requires Node.js and npx.

List the skills in this repository before installing them:

npx skills add trancee/skills --list

Install skills for the current project:

npx skills add trancee/skills

The CLI detects supported agents and prompts you to choose the skills and target agents. Project installation is the default.

To install one skill, pass its name:

npx skills add trancee/skills --skill kotlin-development

To make the selected skills available across projects, use global scope:

npx skills add trancee/skills --global

Review each skill before installing it. Skills can direct an agent to edit files, run commands, or access the network.

Use

Skills with a description can be selected automatically when a request matches their scope. You can also invoke one explicitly by name:

Use the nist-cavp skill to add AES-GCM vectors to this test suite.

The agent should read SKILL.md before acting, follow relative references from the skill directory, and satisfy the skill's completion checks. Explicit project instructions and user requirements still take precedence.

Update

Update installed skills and choose the scope when prompted:

npx skills update

Select project scope, global scope, or one named skill directly:

npx skills update --project
npx skills update --global
npx skills update kotlin-development

Repository layout

skills/
├── README.md
├── <skill-name>/
│   ├── SKILL.md
│   ├── assets/        # optional fixtures and templates
│   ├── references/    # optional detailed guidance
│   └── scripts/       # optional executable helpers
└── ...

A skill's frontmatter provides its discovery contract:

---
name: example-skill
description: Perform a specific workflow when its triggering conditions apply.
metadata:
  category: "development"
  source: "https://example.com/canonical-source"
  sourceVersion: "upstream release, document, page revision, or commit"
  createdBy: "github-copilot/gpt-5.6-sol"
  createdAt: "2026-01-01T12:00:00+00:00"
  updatedBy: "github-copilot/gpt-5.6-sol"
  updatedAt: "2026-01-02T12:00:00+00:00"
---

• name matches the lower-kebab-case directory name.
• description states what the skill does and the distinct situations that should trigger it.
• metadata.category groups skills under agent-tooling, cryptography, development, documentation, or formal-methods.
• metadata.source identifies the canonical source used to author and refresh the skill.
• metadata.sourceVersion records the upstream release, document identifier, dated page revision, or commit used to author or refresh the skill.
• metadata.createdBy records the provider/model identifier that first created the skill.
• metadata.createdAt records the skill's first repository creation time as an ISO 8601 string.
• metadata.updatedBy records the provider/model identifier that made the latest content or metadata change.
• metadata.updatedAt records the latest skill content or metadata update as an ISO 8601 string.
• The body contains ordered actions, decision points, constraints, and checkable completion criteria.
• Relative links resolve from the skill directory.

Contributing

Skill packages are instructions for AI agents, not human tutorials. Use terse imperative steps, explicit branches, exact commands, constraints, and completion gates. Load branch-specific references only when needed; remove repeated explanation without weakening semantics or safety. Human-facing repository documentation, including this README, remains separate.

1. Use skill-creator to create a skill or revise its procedure.
2. Run agent-skills-standard on every new or updated package before calling the package complete.
3. Give the skill one focused responsibility and a precise discovery description.
4. Put the main procedure in SKILL.md. Move fixtures and templates to assets/, detailed guidance to references/, and executable helpers to scripts/.
5. Check canonical origins before refreshes. Compare the pinned baseline with current stable releases or document revisions; distinguish prereleases and historical compatibility branches. Apply relevant upstream changes across the procedure and resources, record exact source evidence, and leave unchanged guidance intact. A newer date alone is not a migration.
6. Keep secrets, credentials, generated output, and machine-specific paths out of the skill.
7. Exercise commands and behavioral procedures in an appropriate disposable environment.
8. After any SKILL.md, direct references/*, or direct assets/* change, run python3 agent-skills-standard/scripts/count-context.py --root . --baseline HEAD path/to/skill. Record the o200k_base core, resource, total, baseline, and delta counts.
9. Before committing skill repository changes, invoke agent-skills-standard again. Re-run its strict audit and token count against the final files, then run metadata, link, discovery, and diff checks.
10. If the catalog changed, run npx skills add . --list and confirm that it exposes every intended skill.
11. Use Conventional Commits for repository history.

A useful contribution leaves no ambiguity about when the skill applies, what the agent must do, or how completion is verified.