java-test-updater

java-test-updater is a skill for Claude Code, Codex from ArabelaTso/Skills-4-SE. It costs 83 tokens per session (2,735 once invoked), scanned A, original, Apache-2.0.

A tool that examines a failed or stuck formal proof and suggests smaller helper statements that may bridge the gap to the main result. Formal proofs are computer-checked arguments written in systems such as Isabelle/HOL or Coq.

In plain words
What is it for?
It analyzes proof states, proposes auxiliary lemmas, gives precise statements, and suggests ways to prove those lemmas.
Why use it?
It helps when the goal seems true but existing proof steps cannot reach it, especially when an induction argument or intermediate result is missing.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one.

Good fit It analyzes proof states, proposes auxiliary lemmas, gives precise statements, and suggests ways to prove those lemmas.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/arabelatso/skills-4-se/java-test-updater
Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add ArabelaTso/Skills-4-SE --skill java-test-updater
Clone the repo
git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for java-test-updater

README.md
[![agentmods](https://agentmods.dev/badge/skills/arabelatso/skills-4-se/java-test-updater/github.svg)](https://agentmods.dev/skills/arabelatso/skills-4-se/java-test-updater)
Your own site
<a href="https://agentmods.dev/skills/arabelatso/skills-4-se/java-test-updater"><img src="https://agentmods.dev/badge/skills/arabelatso/skills-4-se/java-test-updater/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for java-test-updater

Your own site · 80×15
<a href="https://agentmods.dev/skills/arabelatso/skills-4-se/java-test-updater"><img src="https://agentmods.dev/badge/skills/arabelatso/skills-4-se/java-test-updater.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 83 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 2,735 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00083 $0.02735
Opus 5.5 $0.00033 $0.01094
Sonnet 5.5 $0.00017 $0.00547
Haiku 4.5 $0.00008 $0.00274

Measured 1mo ago against content hash 94d8fdc33552, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

java-test-updater scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

skills/java-test-updater/SKILL.md · 518 lines

How it starts

The opening of the file, as written. The whole thing — 518 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Java Test Updater

Overview

Automatically update Java test code to align with changes in production code, ensuring tests compile and pass after refactoring, signature changes, or behavior modifications.

Workflow

1. Analyze Code Changes

Compare old and new versions of the production code to identify changes:

Read both versions:

  • Old code version (before changes)
  • New code version (after changes)
  • Identify the specific class and methods that changed

Categorize changes:

  • Signature changes: Parameter types, parameter order, return type, method name
  • Refactoring: Class renamed, method moved, package changed
  • Behavior changes: Logic modified, new exceptions, different return values
  • API changes: New methods added, old methods removed

Example change analysis:

// Old version
public double calculateDiscount(double price) {
    return price * 0.1;
}

// New version
public double calculateDiscount(double price, double discountRate) {
    if (discountRate < 0 || discountRate > 1) {
        throw new IllegalArgumentException("Invalid discount rate");
    }
    return price * discountRate;
}

Identified changes:

  • Added parameter: discountRate
  • Added validation with exception
  • Changed calculation logic

2. Analyze Existing Tests

Read and understand the old test code:

Identify test structure:

  • Test class name and package
  • Test methods and their purposes
  • Setup and teardown methods (@Before, @BeforeEach, @After, @AfterEach)
  • Test data and fixtures
  • Mocks and stubs used

Map tests to code changes:

  • Which tests call the changed methods
  • Which assertions depend on changed behavior
  • Which mocks need updating

Example old test:

@Test
public void testCalculateDiscount() {
    double price = 100.0;
    double result = calculator.calculateDiscount(price);
    assertEquals(10.0, result, 0.01);
}

3. Update Method Calls

Modify test code to match new method signatures:

Read the full file on GitHub · 518 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 1mo ago First seen · 518 lines · 83 tokens per session scan A 94d8fdc33552

Subscribe to this mod's changes

java-test-updater is a skill published in the GitHub repository ArabelaTso/Skills-4-SE (258 stars, last pushed 2mo ago), licensed Apache-2.0. It adds 83 tokens to every session and 2,735 once invoked, about $0.0003 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-09-03.

Related

Other skills, from other repositories

teach

Teach the user a new skill or concept, within this workspace.

saitarrun/Sdlc-ai-workflow · 15 tokens

present-paper

Use when preparing an academic talk such as a journal club, grand rounds, seminar, conference presentation, or lecture/teaching deck. Analyzes the source, drafts audience-adapted speaker scripts, builds or augments the PPTX with speaker notes and prepares Q&A.

Aperivue/medsci-skills · 59 tokens

paper-digest

A skill that turns one research paper into a teaching-style digest for quickly understanding its content. bioRxiv-style research papers are scientific articles, and a digest summarizes and reorganizes the paper rather than judging whether its methods are reliable.

drpwchen/paper-review-and-digest · 148 tokens

defense-qa-coach

A preparation coach for thesis defenses, doctoral exams, and conference question-and-answer sessions. It helps researchers practise answering questions from the viewpoint of a committee member.

Nero1688/claude-academic-skills · 460 tokens

mathesis

Mathematical thinking as a craft and generative discipline, not computation or proof-checking. Deploy when a mathematical object or question is present and the user wants to understand rather than merely solve. Use for: seeing into a theorem rather than verifying it; choosing the right definition before the proof…

Wondermonger-daydreaming/claude-skills-library · 189 tokens

matlab-generate-grader-assessments

Generate MATLAB Grader assessment items that are suitability-gated, profile-driven, feedback-aware, and validated through MATLAB MCP. Produces Script, Function, Class Definition, Class Inheritance, Object Usage, and Class Methods items with MATLAB Grader assessment setup instructions.

matlab/agent-skills-playground · 62 tokens