A skill your agent uses when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify…

MITAuto-check passedBackend & APIs

Install Null Safety

skills CLI
$ npx skills add rrezartprebreza/spring-boot-skills --skill null-safety -a claude-code

Project install by default; add -g for ~/.claude/skills/.

GitHub CLI
$ gh skill install rrezartprebreza/spring-boot-skills null-safety --agent claude-code

Project scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).

Manual copy
$ git clone --depth 1 https://github.com/rrezartprebreza/spring-boot-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/spring-boot-3/null-safety .claude/skills/null-safety && rm -rf skills-src

Use ~/.claude/skills/ instead of .claude/skills for a personal install. The folder must contain SKILL.md.

Claude Code skills documentation · loads skills from .claude/skills/

Facts

Skill name
null-safety
GitHub stars
301
Token cost
~429 tokens
SKILL.md length
183 words
Files
4
Skills in repo
51
Repo updated
First seen
Licence
MIT

At a glance

A skill your agent uses when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify…

  • Annotating nullability in Spring Boot 3 / Spring Framework 6 code
  • Runs Java scripts from its folder
  • Integrating Kotlin
  • Adding static nullability checks without assuming Spring Framework 7 JSpecify defaults

What it does

Null Safety is an agent skill from rrezartprebreza/spring-boot-skills. Use when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify defaults.

Its SKILL.md is about 430 tokens, which your agent loads only when the skill is triggered. The skill folder holds 5 other files (for example `agents/openai.yaml`).

It sits in Backend & APIs, covering Backend development and Android development. It works with Spring Boot and Kotlin. The repository describes itself as: Production-grade Claude Code and Codex skills for Spring Boot developers. The licence is MIT.

When your agent uses it

  • Annotating nullability in Spring Boot 3 / Spring Framework 6 code
  • Integrating Kotlin
  • Adding static nullability checks without assuming Spring Framework 7 JSpecify defaults

Example prompts

  • “/null-safety”

What it can do on your machine

Read from SKILL.md and the folder at commit f0c06a0. It shows what the files ask for, not the result of running them.

  • Tool permissions

    Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

    From allowed-tools in the SKILL.md frontmatter.

  • Runs code

    Ships script files (Java), which the agent can run.

    From the folder's file list and the shell code blocks in SKILL.md.

  • Network

    No URLs in SKILL.md.

    From URLs in SKILL.md, links to its own repository left out.

  • Credentials

    Names no API keys, tokens, secrets or passwords.

    From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

Context cost

Null Safety loads about 429 tokens when it runs. Until then it costs about 50 tokens; SKILL.md has 183 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it
~50
When it runs · the whole SKILL.md, loaded when a task matches
~429

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Auto-check passed

The automated check found no risky patterns in SKILL.md.

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from rrezartprebreza/spring-boot-skills at commit f0c06a0, republished under its MIT licence (© rrezartprebreza). 183 words, ~429 tokens.

Download SKILL.mdSave it as .claude/skills/null-safety/SKILL.md (or your agent's skills folder). This skill also uses 3 other files; get the full folder from GitHub.
name
null-safety
description
Use when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify defaults.

Null Safety (Boot 3 / Framework 6)

Use the nullability model supported by the project. Spring Framework 6 commonly uses org.springframework.lang.Nullable, @NonNull, and package-level @NonNullApi. JSpecify can be introduced deliberately, but do not assume Framework 7 migration semantics in a Boot 3 module.

java
@NonNullApi
package com.example.orders;

import org.springframework.lang.NonNullApi;

Annotate genuine nullable results and parameters with @Nullable. Keep repository return types explicit, validate external input at boundaries, and use Kotlin compiler settings that match the annotations when Java and Kotlin are mixed. If the project standardizes JSpecify independently, apply it consistently at module boundaries and document the chosen checker.

Gotchas

  • Agent assumes Framework 7 JSpecify defaults - Boot 3 projects usually use Spring's legacy annotations.
  • Agent uses @NonNullApi without importing the package annotation - package metadata must compile and be checked in.
  • Agent marks every value @NonNull - establish a package default and annotate only nullable exceptions.
  • Agent treats annotations as runtime validation - use Bean Validation or explicit checks for input validation.
  • Agent changes a repository's nullable contract without updating callers - preserve Optional, nullable, and empty collection semantics.
  • Agent mixes JSpecify and Spring annotations without a migration plan - choose one module boundary policy.

© rrezartprebreza, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 3 other files in skills/spring-boot-3/null-safety of rrezartprebreza/spring-boot-skills.

  • SKILL.md
  • agents/openai.yaml
  • examples/bad-null-contract.java
  • examples/good-package-info.java

Open the folder on GitHubat commit f0c06a0

Compare with similar skills

Null Safety next to the 5 skills that share the most tags, products or categories with it. Stars are the repository's; “used in” counts other GitHub owners with a copy.

Null Safety compared with similar skills
SkillStarsUsed inTokensAuto-checkLicenceRepo updated
Null Safety this skillrrezartprebreza/spring-boot-skills301—~429Automated safety check: PassMIT
Create Spring Boot Kotlin Projectgithub/awesome-copilot40k1 repos~1kAutomated safety check: PassMIT
Restart Spring Bootjvm-skills/jvm-skills139—~494Automated safety check: PassApache-2.0
Kotlin Springbootgithub/awesome-copilot40k1 repos~1.1kAutomated safety check: PassMIT
Java TestingHoangNguyen0403/agent-skills-standard572—~1kAutomated safety check: PassMIT
Test Writeraxelixlabs/axelix148—~2.2kAutomated safety check: PassLGPL-3.0

Similar skills

  • Create Spring Boot Kotlin Project

    github/awesome-copilot

    Official

    Create Spring Boot Kotlin Project Skeleton. An agent skill from github/awesome-copilot.

    40k GitHub starsUsed in 1 repo~1k tokens
    Backend & APIsAuto-check passed
  • Restart Spring Boot

    jvm-skills/jvm-skills

    Restart the app via IntelliJ run configuration and wait until ready.

    139 GitHub stars~494 tokensUpdated 1 mo ago
    Backend & APIsAuto-check passed
  • Kotlin Springboot

    github/awesome-copilot

    Official

    Get best practices for developing applications with Spring Boot and Kotlin.

    40k GitHub starsUsed in 1 repo~1.1k tokens
    MobileAuto-check passed
  • Java Testing

    HoangNguyen0403/agent-skills-standard

    Testing standards using JUnit 5, AssertJ, Mockito, Cucumber, and Spring Boot integration tests for Java.

    572 GitHub stars~1k tokensUpdated yesterday
    Testing & QAAuto-check passed
  • Test Writer

    axelixlabs/axelix

    Writes new tests for Axelix source code (Java, Kotlin, TypeScript, JavaScript) that follow the project's testing standards — public-API contract coverage, test isolation, given/when/then structure…

    148 GitHub stars~2.2k tokensUpdated today
    MobileAuto-check passed
  • Test Reviewer

    axelixlabs/axelix

    Reviews test code in GitHub pull requests for isolation, public-API contract coverage, AAA structure, and correct exception assertions.

    148 GitHub stars~3.2k tokensUpdated today
    MobileAuto-check passed

More from rrezartprebreza/spring-boot-skills

All 51 skills in this repo
  • AI Observability

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when adding Spring AI-specific model observations, token usage, latency, externally configured cost attribution, advisor telemetry, or protected prompt and completion logging.

    301 GitHub stars~1.6k tokensUpdated 19 days ago
    Auto-check passed
  • API Versioning

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when versioning Spring MVC or WebFlux APIs in Spring Boot 3 / Spring Framework 6.

    301 GitHub stars~516 tokensUpdated 19 days ago
    Auto-check passed
  • API Versioning

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when versioning Spring MVC or WebFlux APIs in Spring Boot 4 / Spring Framework 7.

    301 GitHub stars~643 tokensUpdated 19 days ago
    Auto-check passed
  • Container Native Deployment

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when packaging a Spring Boot 3 application as an OCI image or GraalVM native executable.

    301 GitHub stars~781 tokensUpdated 19 days ago
    Auto-check passed
  • Container Native Deployment

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when packaging Spring Boot 4 as an OCI image, JVM container, AOT application, or GraalVM native executable.

    301 GitHub stars~706 tokensUpdated 19 days ago
    Auto-check passed
  • Domain Driven Design

    rrezartprebreza/spring-boot-skills

    A skill your agent uses when evolving aggregate invariants, value objects or domain events in an existing DDD-style Spring Boot 3 application, or when DDD is explicitly requested.

    301 GitHub stars~2.1k tokensUpdated 19 days ago
    Auto-check passed

Questions about Null Safety

What does Null Safety do?

A skill your agent uses when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify…. Null Safety is an agent skill from rrezartprebreza/spring-boot-skills. Use when annotating nullability in Spring Boot 3 / Spring Framework 6 code, integrating Kotlin, or adding static nullability checks without assuming Spring Framework 7 JSpecify defaults.

When should I use Null Safety?

Null Safety fits situations like: annotating nullability in Spring Boot 3 / Spring Framework 6 code; integrating Kotlin; adding static nullability checks without assuming Spring Framework 7 JSpecify defaults.

How do I install Null Safety in Claude Code?

Run `npx skills add rrezartprebreza/spring-boot-skills --skill null-safety -a claude-code`. Or copy the skill folder (skills/spring-boot-3/null-safety in rrezartprebreza/spring-boot-skills) into .claude/skills/null-safety in your project. Claude Code loads it when a task matches its description.

How do I install Null Safety in Codex?

Run `npx skills add rrezartprebreza/spring-boot-skills --skill null-safety -a codex`. Or copy the skill folder (skills/spring-boot-3/null-safety in rrezartprebreza/spring-boot-skills) into .agents/skills/null-safety in your project. Codex loads it when a task matches its description.

Can I use Null Safety in Cursor, Gemini CLI or GitHub Copilot?

Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add rrezartprebreza/spring-boot-skills --skill null-safety -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/null-safety, .gemini/skills/null-safety, .github/skills/null-safety and .opencode/skills/null-safety in your project.

What does Null Safety need to run?

Going by SKILL.md and its folder, Null Safety needs Java for the scripts in its folder.

Does Null Safety access the network?

SKILL.md contains no URLs. Any network use would come from the scripts or tools the agent runs. This is read from the text; nothing was executed.

Is Null Safety safe to install?

Our automated static check of SKILL.md found no risky patterns, such as piping downloads into a shell, reading credential files or hidden Unicode. It is not a guarantee. Review the folder before installing.

What licence does Null Safety use?

Null Safety is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.

How many tokens does Null Safety use?

About 429 tokens (SKILL.md is roughly 1.7k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.

What are the alternatives to Null Safety?

Skills that share tags, products or a category with Null Safety: Create Spring Boot Kotlin Project (github/awesome-copilot, 40k stars), Restart Spring Boot (jvm-skills/jvm-skills, 139 stars), Kotlin Springboot (github/awesome-copilot, 40k stars) and Java Testing (HoangNguyen0403/agent-skills-standard, 572 stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.

Who maintains Null Safety?

rrezartprebreza (a GitHub user) maintains it in rrezartprebreza/spring-boot-skills, which has 301 GitHub stars. The repository holds 51 skills in this directory. The repository was last updated on September 21, 2026.

Source: rrezartprebreza/spring-boot-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.