jspecify-nullness
JSpecify nullness annotations for Java APIs and tooling.
Skill by alexandru
Install
Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.
npx agentmarket install skill/alexandru-jspecify-nullness
Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.
Get the weekly diff
The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.
About
Reviews
Write a reviewNo reviews yet. Installed it? Reviews come from verified installers only. How reviews work
Permissions
What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.
- Tools
- No tools found
- Secrets
- None asked for
- Install scripts
- None found
Network hosts it talks to 1
codeload.github.com· found in install command
Files it touches
~/.claude/skills/jspecify-nullness
What's inside
- Skill name
jspecify-nullness- Description
- JSpecify nullness annotations for Java APIs and tooling. Use when adopting or migrating JSpecify annotations, designing null-safe Java signatures, fixing generic bounds and type-use placement, or interpreting Kotlin interop, annotation-processor, and tool-conformance behavior.
- License
- unknown
- Instructions
- 34 lines in SKILL.md · view on GitHub
Files (3)
- SKILL.md
- jspecify-nullness.md · references/
- verify-examples.java · scripts/
The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub
More from alexandru/skills
- 0.663score
code-refinements
alexandru
Defines what refined code looks like through the three lenses of constraints, simplicity, and parametricity, with rules for type proofs, no partial calls…
SkillAFreshness: A★ 51Claude Code +9 - 0.663score
code-reviewing
alexandru
Reviews code changes for bugs, structural problems, performance issues, and unintended behavior.
SkillAFreshness: A★ 51Claude Code +9 - 0.660score
mcp-access
alexandru
Calls MCP (Model Context Protocol) servers when native MCP tools are unavailable or unsupported, using the MCP Inspector connection CLI or a manual JSON-RPC…
SkillAFreshness: A★ 51Claude Code +9 - 0.658score
code-refine
alexandru
Refines code through the three lenses in `code-refinements` with verified, behavior-preserving edits.
SkillAFreshness: A★ 51Claude Code +9 - 0.658score
create-skill
alexandru
Guide for creating effective agent skills.
SkillAFreshness: A★ 51Claude Code +9 - 0.582score
code-review
alexandru
Reviews changed code using the shared code-reviewing workflow.
SkillBFreshness: B★ 51Claude Code +9 - 0.573score
cats-effect-io
alexandru
Helps agents write and review Scala Cats Effect IO code.
SkillCFreshness: C★ 51Claude Code +9 - 0.573score
cats-effect-resource
alexandru
Helps agents write and review Scala Cats Effect Resource code.
SkillCFreshness: C★ 51Claude Code +9 - 0.573score
arrow-resource
alexandru
Kotlin + Arrow Resource lifecycle discipline with `Resource`, `ResourceScope`, `resourceScope`, and context parameters.
SkillCFreshness: C★ 51Claude Code +9 - 0.573score
kotlin-context-parameters
alexandru
Kotlin context parameters (`context(...)`) for scoped dependencies, DSL scopes, and migrations from context receivers.
SkillCFreshness: C★ 51Claude Code +9 - 0.573score
kotlin-java-library
alexandru
Helps agents design and review Kotlin library APIs for Java consumers.
SkillCFreshness: C★ 51Claude Code +9 - 0.573score
arrow-typed-errors
alexandru
Models Kotlin logical failures with Arrow's context-parameter Raise DSL and wrappers such as Either, nullable, Option, and Ior.
SkillCFreshness: C★ 51Claude Code +9
Signals
- Stars
- 51
- Forks
- 3
- Open issues
- 0
- Last commit (this folder)
- May 27, 2026 (5 months ago)
From GitHub (fetched Oct 24, 2026).
Details
- License
- License unknown
- Repository
- github.com/alexandru/skills
- First seen
- Oct 24, 2026
- Last checked
- Oct 24, 2026
- Source
- GitHubgithub-graphql
More from alexandru
- 0.663score
code-reviewing
alexandru
Reviews code changes for bugs, structural problems, performance issues, and unintended behavior.
SkillAFreshness: A★ 51Claude Code +9 - 0.663score
code-refinements
alexandru
Defines what refined code looks like through the three lenses of constraints, simplicity, and parametricity, with rules for type proofs, no partial calls…
SkillAFreshness: A★ 51Claude Code +9 - 0.660score
mcp-access
alexandru
Calls MCP (Model Context Protocol) servers when native MCP tools are unavailable or unsupported, using the MCP Inspector connection CLI or a manual JSON-RPC…
SkillAFreshness: A★ 51Claude Code +9 - 0.658score
create-skill
alexandru
Guide for creating effective agent skills.
SkillAFreshness: A★ 51Claude Code +9 - 0.658score
code-refine
alexandru
Refines code through the three lenses in `code-refinements` with verified, behavior-preserving edits.
SkillAFreshness: A★ 51Claude Code +9 - 0.582score
code-review
alexandru
Reviews changed code using the shared code-reviewing workflow.
SkillBFreshness: B★ 51Claude Code +9
Cite this page
jspecify-nullness skill. Agent Mart. https://agentmart.dev/skills/alexandru-jspecify-nullness (last updated 2026-10-24)