input-output-hk/agda-claude-skills

SkillsMP は input-output-hk/agda-claude-skills から 2 件の skill を収集しています。skill を開くとソースと詳細を確認できます。

input-output-hk のプロフィール GitHub で見る

記録された最新のソース活動: 2026年4月30日 13:10

SkillsMP カタログ更新: 2026年8月23日 20:39

収集済み skills: 2

GitHub スター: 1
GitHub フォーク: 0

このリポジトリの skills

ソフトウェア開発者ネットワーク・コンピュータシステム管理者

2 件の職業カテゴリ · 100% 分類済み

skill

職業分類

説明

更新

agda-find-reproducer

ソフトウェア開発者

Reduce a large Agda file to a minimal reproducer for an Agda compiler bug (e.g. `__IMPOSSIBLE__` or any other specific internal error string). Runs an iterative edit → test → commit/revert loop, preserving the invariant that the file still emits the exact…

原文の言語: 英語

2026-04-30

agda-typecheck-profile

ネットワーク・コンピュータシステム管理者

Profile Agda typechecking performance from a cold cache. Supports two modes — project-wide (via `agda --profile=modules`, reporting per-module times and ms-per-line) and single-module (via `agda --profile=definitions`, reporting per-definition times). Can…

原文の言語: 英語

2026-04-30

収集済み skill 2 件中 2 件を表示しています。