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개를 표시합니다.