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 Forks: 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

已展示 2 / 2 个已收集 Skill。