73 tagged metaprogramming, measured the same way as everything else here.
Browse within: software-development 60software-engineering 60language 9beagle 8clojure 8racket 8
Skill Claude CodeCodex
Automatically generates change logs from git commits, patches, and pull requests. Use when preparing software releases, creating version summaries, or maintaining CHANGELOG.md files. Analyzes commit messages (including conventional commits), diff/patch files, and PR data to produce categorized Markdown change logs…
Skill Claude CodeCodex
Suggest and apply code refactorings to improve readability, maintainability, and code quality. Use this skill when improving existing code structure, eliminating code smells, applying design patterns, simplifying complex logic, extracting duplicated code, renaming for clarity, or preparing code for new features.…
Skill Claude CodeCodex
Generate concrete counterexamples when formal verification, assertions, or specifications fail. Use this skill when debugging failed proofs, understanding why verification fails, creating minimal reproducing examples, analyzing assertion violations, investigating invariant breaks, or diagnosing specification…
Skill Claude CodeCodex
Use whenever writing, editing, or debugging Beagle source in any project: files with a current Beagle extension (beagle langs --view extensions), files beginning with #lang beagle, or anything under /code/beagle. Establishes proportional authoring-loop health, typed-Lisp semantic leverage, strict foreign boundaries…
Skill Claude CodeCodex
Detailed graph-edit verbs, lossless projection commands, relational program reads, Datalog entry points, and scope limits for code-as-facts. Load when code-as-facts-distilled routes here or the user explicitly requests details.
Skill Claude CodeCodex
Detailed Beagle Store RPC commands, recursive Term and occurrence semantics, paging limits, query relations, generated-source authority, and executable examples. Load when store-modeling-distilled routes here or the user explicitly requests those details.
RandalSchwartz/dart-sdk-skills
Skill Claude CodeCodex
Expert guide and lookup reference for the Dart SDK CHANGELOG, version history, experimental features, macros, and augmentations from Dart 1.x to modern Dart 3.x. Use this skill whenever the user asks "what's new in Dart X", "what's new in 3.13", "what's new in 3.12", asks how to find the minimum SDK version (minSdk)…
RandalSchwartz/dart-sdk-skills
Skill Claude CodeCodex
Expert guide and lookup reference for Flutter framework versions, widget deprecations, API replacements, and Material 3 migrations from Flutter 1.0 to modern Flutter (3.24+). Use this skill whenever the user asks "what's new in Flutter X", "what's new in 3.24", "what's new in 3.22", asks how to fix deprecated Flutter…