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.

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.

agentmods
npx agentmods add skills/arabelatso/skills-4-se/java-test-updater
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.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.svg" alt="Measured on agentmods" 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. Scan, not verified.
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 $0.00042 $0.01367
Sonnet 5 $0.00017 $0.00547
Haiku 4.5 $0.00008 $0.00274

Measured 2d ago against content hash 94d8fdc33552, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-06, 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 2d 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. 2d 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 (248 stars, last pushed 16d ago), licensed Apache-2.0. It adds 83 tokens to every session and 2,735 once invoked, about $0.0004 per session on Opus 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

paper-digest

Produce a content/knowledge digest of ONE paper for fast absorption of its full content — not a quality critique. Use when the user wants to "整理內容", "快速吸收", "知識整理", "內容平讀", or when /paper-sync dispatches a 📚內容 pick. The digest reorganizes the paper's full text into a teaching-style structured note (structure routed…

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

defense-qa-coach

學位口試與研討會問答的『答辯教練』。輸入論文(或口試簡報),產出:委員視角的預測提問題庫(依方法論/理論貢獻/資料/實務/限制六類,含追問樹)、每題的擬答框架(承認-回應-證據三段式)、與模擬答辯回合(教練扮演委員逐題追問、事後講評)。適用:碩博士學位口試、博士候選人資格考核(前三章口試)、論文研討公開發表、研討會 Q&A。訓練重點:被打斷怎麼接、不會答怎麼守、委員意見互相矛盾怎麼辦、如何把攻擊題轉成貢獻展示。觸發詞:口試、答辯、口試委員、委員提問、模擬口試、口試準備、被問倒、怎麼回答、Q&A 準備、質詢、追問、口試攻防、defense、viva、前三章口試、論文研討提問。與 qual-exam-coach…

Nero1688/claude-academic-skills · 431 tokens

talk-builder

Turn a paper (or several, a thesis, a body of work) into an academic talk — outline, per-slide content, speaker notes, opening hook, single take-home message, backup slides for Q&A, rehearsal plan. Adapts to talk length (3-min lightning through 90-min defense), audience (specialists / general field /…

Marazii/research-co-pilot · 238 tokens

matlab-generate-grader-assessments

Generate MATLAB Grader assessment item sets. Use when the user asks to create MATLAB Grader assessment items, generate MATLAB assessment materials, build MATLAB homework assessment items, QTI 3 portable assessment items, or mentions "grader assessment items". Produces complete assessment item folders with description…

matlab/agent-skills-playground · 85 tokens

matlab-create-course-activity

Create MATLAB Course Designer MATLAB Exercise learning activities by wrapping the existing matlab-generate-grader-assessments skill, then validating generated solution.m, template.m, and tests.m files with MATLAB MCP Server tool calls. Use when the user asks to create a MATLAB Exercise, MATLAB course activity, Course…

matlab/agent-skills-playground · 80 tokens

audio-math-explainer

Explains DSP math concepts to developers who need the theory behind an algorithm. Use whenever the user asks how a signal-processing concept works, wants intuition behind a formula, or hits a math-shaped bug. Trigger on phrases like "how does a Fourier transform work", "explain z-transforms", "what is convolution"…

kunitoki/sonic-skills · 121 tokens