Danh sách skill

Skill harness thử nghiệm: viết báo cáo post-mortem sự cố qua 6 bước để đo hành vi context-fork của agent.

Skill thử nghiệm viết báo cáo post-mortem sự cố, dùng để kiểm tra xem Claude có hoàn tất công việc gốc sau khi gọi một skill phụ theo kiểu inline hay không.

Skill phân tích mất cân bằng coupling trong codebase theo mô hình Balanced Coupling của Vlad Khononov và xuất ra báo cáo đánh giá kiến trúc.

Kỹ năng dự đoán và xác thực cấu trúc protein/phức hợp thiết kế bằng AlphaFold2 và ColabFold, kèm ngưỡng đánh giá độ tin cậy.

Bộ quy tắc để chia việc an toàn cho nhiều AI agent, kiểm soát phụ thuộc, phê duyệt và xác minh khi tổng hợp kết quả.

Tạo và huấn luyện agent tự học bằng 9 thuật toán học tăng cường của AgentDB.

Skill hướng dẫn Claude cấu hình các tính năng nâng cao của AgentDB: đồng bộ QUIC, hybrid search, sharding nhiều database và các pattern production.

Skill riêng của ktx giúp phân loại và xử lý xung đột phát sinh khi nạp bundle: trùng lặp, mâu thuẫn định nghĩa, nạp lại và loại bỏ artifact.

Chỉ cần một hướng nghiên cứu hoặc một chủ đề, skill này lần lượt gọi 4 skill con: khám phá chủ đề → tổng quan tài liệu → thí nghiệm → viết bài báo, tạo ra trọn bộ gói nghiên cứu.

Skill dẫn dắt toàn bộ quy trình từ lỗ hổng đã kiểm chứng đến báo cáo cho vendor, xin CVE và công bố advisory.

Skill thiết kế vận hành dịch vụ bất động sản bằng ontology và DMAIC: work order, điều phối, báo giá, bằng chứng, chỉ số CTQ và dashboard kiểm soát.

Hỗ trợ thiết kế kiến trúc bảo mật toàn diện với defense-in-depth, zero trust, threat modeling (STRIDE/PASTA) và ánh xạ khung kiểm soát NIST CSF, CIS, ISO 27001.

Skill hướng dẫn xây dựng hạ tầng dữ liệu cho AI: pipeline RAG, sinh embedding, feature store và điều phối workflow.

Hỗ trợ viết và gỡ lỗi ứng dụng mã hóa trên Solana bằng Arcium: circuit Arcis, program Anchor và client TypeScript.

Suy luận loop invariant, tiền điều kiện và hậu điều kiện bằng abstract interpretation rồi xuất ra cú pháp Dafny, Isabelle, Coq, ACSL.

Kỹ năng sinh chú thích đặc tả hình thức ACSL (hợp đồng hàm, bất biến vòng lặp, an toàn bộ nhớ) cho mã C/C++ để kiểm chứng bằng Frama-C.

Skill phân tích tĩnh dùng diễn giải trừu tượng để suy ra miền giá trị biến và phát hiện lỗi runtime tiềm ẩn như truy cập ngoài mảng, null, chia cho 0, tràn số nguyên — mà không chạy chương trình.

Biến bất kỳ tài liệu mô tả cách làm một loại công việc (SKILL.md, log chat, runbook, văn bản thường) thành một trace DAG chạy được của Flowtrace và chạy trọn vòng đời để kiểm chứng.

Kỹ năng chạy toàn bộ quy trình thiết kế binder protein bằng BindCraft với kiểm định AF2 tích hợp.

Dùng Boltz-1/Boltz-2 mã nguồn mở để dự đoán cấu trúc phức protein–protein, protein–ligand và kiểm định binder thiết kế.