스킬 목록

컨텍스트 포크 실험을 위해 장애 포스트모템 보고서를 6단계로 작성하는 테스트 하네스 스킬.

스킬이 다른 스킬을 '인라인'으로 호출할 때 원래 작업을 끝까지 수행하는지 검증하는 실험용 장애 사후분석 작성 스킬입니다.

Vlad Khononov의 Balanced Coupling 모델로 코드베이스의 결합도 불균형을 진단하고 아키텍처 리뷰 문서를 만들어주는 스킬.

AlphaFold2·ColabFold로 설계한 단백질 서열의 접힘과 결합체 구조를 예측하고 신뢰도 지표로 검증하는 스킬.

여러 AI 에이전트에게 작업을 안전하게 쪼개 맡기고, 의존성·승인·통합 검증까지 통제하는 오케스트레이션 규칙집입니다.

AgentDB의 9가지 강화학습 알고리즘으로 스스로 학습하는 에이전트를 만들고 훈련시키는 스킬입니다.

AgentDB의 QUIC 동기화, 하이브리드 검색, 멀티 DB 샤딩 등 분산·프로덕션 패턴을 Claude가 바로 적용하도록 돕는 스킬.

번들 수집 중 발생한 중복·정의 충돌·재수집 변경·축출을 규칙에 따라 분류하고 해소하는 ktx 전용 스킬입니다.

연구 방향이나 주제 한 줄만 주면 탐색 → 문헌조사 → 실험 → 논문까지 4단계 스킬을 순서대로 엮어 전체 연구 패키지를 만들어 주는 총괄 스킬입니다.

검증된 취약점을 벤더 신고 → 타임라인 조율 → CVE 발급 → 공개 권고문까지 책임공개 절차로 끌고 가는 스킬.

부동산·시설 서비스 운영을 온톨로지와 DMAIC로 설계해 작업지시·배차·견적·증빙·CTQ 대시보드를 통제 가능한 MVP로 만들어 주는 스킬.

방어 심층화, 제로 트러스트, 위협 모델링(STRIDE/PASTA), NIST CSF·CIS·ISO 27001 통제 매핑까지 보안 아키텍처를 설계하도록 돕는 스킬입니다.

RAG 파이프라인, 임베딩 생성, 피처 스토어, 오케스트레이션까지 AI 데이터 인프라 구축을 단계별로 안내하는 스킬.

Solana 위에서 MPC 기반 암호화 앱(Arcis 회로 + Anchor 프로그램 + TS 클라이언트)을 만들고 디버깅하도록 돕는 스킬입니다.

추상 해석 기법으로 루프 불변식과 함수 사전·사후조건을 추론해 Dafny·Isabelle·Coq·ACSL 문법으로 뽑아주는 스킬.

C/C++ 코드에 Frama-C로 검증 가능한 ACSL 형식 명세(계약·루프 불변식·메모리 안전성)를 자동으로 작성해 주는 스킬입니다.

코드를 실행하지 않고 변수 범위·널 여부·타입을 추론해 배열 초과, 널 참조, 0 나눗셈, 정수 오버플로 같은 잠재적 런타임 오류를 찾아주는 정적 분석 스킬.

SKILL.md·채팅 로그·런북 같은 '작업 방법 설명 문서'를 Flowtrace의 실행 가능한 DAG 트레이스로 변환하고 전체 실행 사이클까지 검증해주는 스킬.

AF2 검증이 내장된 BindCraft로 표적 단백질에 붙는 바인더를 처음부터 끝까지 설계하는 스킬.

오픈소스 Boltz-1/Boltz-2로 단백질 복합체·단백질-리간드 구조를 예측하고 설계된 바인더를 검증하는 스킬.