Claude Skill MartKhám phá skillCâu dùng ngayHọc qua videoDùng terminalSkill là gì?
 
← Về danh sách

Skill cấu hình JSpecify cho Java

Thêm và cấu hình JSpecify vào dự án Java để phát hiện lỗi null ngay khi biên dịch.

Lập trìnhTrung cấp★ 171⑂ 40Điểm AI 9/10Cập nhật lần cuối: 7 thg 8, 2026

Skill này làm gì

  • Thêm dependency jspecify và nullability-maven-plugin vào pom.xml, hoặc plugin ErrorProne + NullAway vào build.gradle(.kts).
  • Tạo/cập nhật package-info.java cho từng package trong src/main/java với annotation @NullMarked (không xóa code có sẵn).
  • Chạy scripts/verify_nullmarked.py để kiểm tra package nào còn thiếu.
  • Hướng dẫn di chuyển từ JSR-305/javax, Jakarta, JetBrains, Spring... sang JSpecify bằng recipe OpenRewrite MigrateToJSpecify.
  • Chiến lược áp dụng từng bước với @NullUnmarked cho codebase lớn và mẹo tương thích Kotlin (K2).

Phù hợp với ai

  • Lập trình viên Java muốn chặn NullPointerException từ lúc build.
  • Nhóm đang có nhiều thư viện annotation nullability lẫn lộn cần chuẩn hóa.
  • Dự án hỗn hợp Java + Kotlin muốn API Java có nullability chính xác.

Ví dụ sử dụng

  1. "Thêm hỗ trợ JSpecify cho dự án Gradle này" → cấu hình plugin, dependency và gắn @NullMarked.
  2. "Chuyển javax.annotation.Nullable sang JSpecify" → chạy recipe OpenRewrite và map thủ công phần còn lại.
  3. "Bật kiểm tra null dần dần cho module legacy" → dùng chế độ OnlyNullMarked, bật theo từng package.

· · · Hướng dẫn cài đặt · · ·

Dùng thử ngay, không cần cài

Dán đoạn dưới vào Claude là dùng được skill này mà không cần cài đặt.

Hãy đọc hướng dẫn trong tệp này và làm theo để giúp mình:
https://raw.githubusercontent.com/sivaprasadreddy/sivalabs-agent-skills/HEAD/skills/jspecify/SKILL.md

Mình muốn: (viết việc bạn cần ở đây)

Nếu Claude không mở được liên kết, hãy mở liên kết và copy nội dung vào rồi dán.

↓ Thấy hữu ích thì tải ZIP bên dưới và cài. Sau đó skill tự chạy, không phải dán lại mỗi lần.

Cài vào ứng dụng Claude (không cần terminal)
  1. Tải tệp ZIP bằng nút bên dưới.
  2. Trong Claude, mở Settings → Capabilities và bật 'Code execution and file creation'. (chỉ một lần)
  3. Vào Customize → Skills → + → 'Upload a skill' rồi tải tệp ZIP lên.
↓ Tải ZIP
Cài vào Claude Code

Để Claude làm — dán câu dưới đây vào Claude Code

Hãy cài skill mình tìm thấy trên Claude Skill Mart.
Copy thư mục skills/jspecify từ repo GitHub sivaprasadreddy/sivalabs-agent-skills vào ~/.claude/skills/jspecify-skill/ của mình.
Sau khi cài xong, cho mình biết skill này làm được gì trong một câu.

Cài bằng lệnh thủ công

git clone https://github.com/sivaprasadreddy/sivalabs-agent-skills.git /tmp/sivalabs-agent-skills && mkdir -p ~/.claude/skills && cp -r /tmp/sivalabs-agent-skills/skills/jspecify ~/.claude/skills/

⚠ Đây là skill do người khác tạo. Hãy kiểm tra repo gốc trước khi cài.

  1. Mở terminal.
  2. Tải repo: git clone https://github.com/sivaprasadreddy/sivalabs-agent-skills.git
  3. Tạo thư mục skill: mkdir -p ~/.claude/skills
  4. Sao chép skill: cp -r sivalabs-agent-skills/skills/jspecify ~/.claude/skills/
  5. Kiểm tra đã có SKILL.md cùng các thư mục references/ và scripts/.
  6. Khởi động lại Claude Code, mở thư mục dự án Java và yêu cầu "thêm hỗ trợ JSpecify".
  7. Cần Python 3 nếu muốn dùng script kiểm tra verify_nullmarked.py.
Xem mã nguồn trên GitHub ↗Giấy phép: MIT