Progen
sivaprasadreddy/sivalabs-agent-skills
A skill your agent uses when the user wants to create/generate/scaffold a new Spring Boot project (Maven or Gradle, REST API / Web App / Spring Boot + Angular full stack).
Automatically migrate Spring MVC applications to Spring Boot.
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migrator --agent claude-codeProject scope by default; add --scope user for a personal install. Needs GitHub CLI 2.90.0 or later (public preview).
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .claude/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.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/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .claude/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.Claude Code copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$skill-installer install https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migratorType this inside Codex. $skill-installer <name> installs a curated skill from openai/skills. The installer writes to $CODEX_HOME/skills (default ~/.codex/skills). Restart Codex if the skill does not show up.
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migrator --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .agents/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .agents/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.Codex copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migrator --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .cursor/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.cursor/skills/ instead of .cursor/skills for a personal install.
Cursor skills documentation · loads skills from .cursor/skills/, .agents/skills/, .claude/skills/, .codex/skills/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .cursor/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.Cursor copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gemini skills install https://github.com/ArabelaTso/Skills-4-SE.git --path skills/spring-mvc-to-boot-migrator--scope user (default) or --scope workspace; --path is the subfolder of the repo that holds the skill; --consent skips the security confirmation prompt.
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migrator --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .gemini/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.gemini/skills/ instead of .gemini/skills for a personal install, then run /skills reload.
Gemini CLI skills documentation · loads skills from .gemini/skills/, .agents/skills/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .gemini/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.Gemini CLI copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migratorInstalls for Copilot at project scope by default; add --scope user for a personal install. Preview a skill first with gh skill preview. Needs GitHub CLI 2.90.0 or later (public preview).
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .github/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.copilot/skills/ instead of .github/skills for a personal install. Commit .github/skills so cloud agent and code review can use it.
GitHub Copilot skills documentation · loads skills from .github/skills/, .claude/skills/, .agents/skills/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .github/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.GitHub Copilot copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
$ npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install ArabelaTso/Skills-4-SE spring-mvc-to-boot-migrator --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/ArabelaTso/Skills-4-SE.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/spring-mvc-to-boot-migrator .opencode/skills/spring-mvc-to-boot-migrator && rm -rf skills-srcUse ~/.config/opencode/skills/ instead of .opencode/skills for a personal install.
OpenCode skills documentation · loads skills from .opencode/skills/, .claude/skills/, .agents/skills/
Install the "spring-mvc-to-boot-migrator" agent skill from https://github.com/ArabelaTso/Skills-4-SE/tree/main/skills/spring-mvc-to-boot-migrator into .opencode/skills/spring-mvc-to-boot-migrator/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "spring-mvc-to-boot-migrator", then confirm the skill loads.OpenCode copies the folder itself, the same result as the manual copy. Check what it changed before you commit it.
spring-mvc-to-boot-migratorAutomatically migrate Spring MVC applications to Spring Boot.
Spring Mvc To Boot Migrator is an agent skill from ArabelaTso/Skills-4-SE. Automatically migrate Spring MVC applications to Spring Boot. Use when you need to modernize a Spring MVC project to Spring Boot while preserving functionality. The skill analyzes the codebase, updates build configuration (Maven/Gradle), migrates annotations, converts XML configuration to Java/properties, updates controllers and tests, and creates the Spring Boot main application class. Creates git commits for each migration phase and generates a comprehensive summary. Supports both Maven and Gradle projects.
Its SKILL.md is about 2.2k tokens, which your agent loads only when the skill is triggered. The skill folder holds 12 other files, including scripts, reference files and assets (for example `references/framework_comparison.md`, `references/migration_guide.md` and `scripts/migrate.py`).
It sits in Backend & APIs, covering Backend development and Commit messages. It works with Spring Boot, Gradle and Java. The repository describes itself as: A curated list of 180+ useful Claude Skills for Software Engineering and resources for customizing AI for SE workflows. The licence is Apache-2.0.
6 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit 4f38503. It shows what the files ask for, not the result of running them.
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.
Ships 5 files in scripts/ (Python and Java), which the agent can run.
Shell commands in SKILL.md call:
gradlepythongitmvnjavacurlFrom the folder's file list and the shell code blocks in SKILL.md.
No URLs in SKILL.md. Its commands use git and curl, which can reach the network depending on how they are called.
From URLs in SKILL.md, links to its own repository left out.
Names no API keys, tokens, secrets or passwords.
From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.
Spring Mvc To Boot Migrator loads about 2.2k tokens when it runs, and up to ~7.2k if it reads all its reference files. Until then it costs about 136 tokens; SKILL.md has 674 words of instructions outside code blocks.
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.
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); the scripts in this folder are not scanned.
The full file from ArabelaTso/Skills-4-SE at commit 4f38503, republished under its Apache-2.0 licence (© ArabelaTso). 674 words, ~2,232 tokens.
.claude/skills/spring-mvc-to-boot-migrator/SKILL.md (or your agent's skills folder). This skill also uses 9 other files; get the full folder from GitHub.This skill automatically migrates Spring MVC applications to Spring Boot, transforming build configuration, annotations, XML configuration, controllers, and tests while preserving existing functionality. It handles Maven and Gradle projects, creates incremental git commits, and generates detailed migration summaries.
# Navigate to your Spring MVC project
cd /path/to/spring-mvc-project
# Run migration (auto-detects Maven or Gradle)
python scripts/migrate.py .
# Or specify build tool explicitly
python scripts/migrate.py . --build-tool mavenThe migration process will:
# Migrate Spring MVC project
python scripts/migrate.py /path/to/project
# Output:
# ✓ Detected build tool: maven
# ✓ Detected Spring version: 5.3.20
# ✓ Created migration branch: migrate-spring-mvc-to-boot
# ✓ Analyzing codebase...
# ✓ Found 8 controllers
# ✓ Found 12 services
# ✓ Found 15 test files
# ✓ Migrating build configuration...
# ✓ Migrating annotations...
# ✓ Migrating configuration...
# ✓ Migrating tests...
# ✓ Migration completed successfully!What gets migrated:
Build Configuration
Annotations
@Controller + @ResponseBody → @RestController@RequestMapping(method = RequestMethod.GET) → @GetMapping@PostMapping, @PutMapping, @DeleteMappingjavax.* to jakarta.*Configuration
Tests
@RunWith(SpringRunner.class) → @SpringBootTest@AutoConfigureMockMvcExample transformation:
Before (Spring MVC):
@Controller
@RequestMapping("/users")
public class UserController {
@RequestMapping(method = RequestMethod.GET)
@ResponseBody
public List<User> getUsers() {
return userService.findAll();
}
}After (Spring Boot):
@RestController
@RequestMapping("/users")
public class UserController {
@GetMapping
public List<User> getUsers() {
return userService.findAll();
}
}The migration tool automatically:
Maven projects:
Gradle projects:
Updates Java annotations:
@RestController)@GetMapping, @PostMapping, etc.)javax.* → jakarta.*)@SpringBootApplicationConverts configuration:
application.properties with common settingsUpdates test files:
Creates comprehensive report:
MIGRATION_SUMMARY.jsonpython scripts/migrate.py <repo_path> [--build-tool <maven|gradle|auto>]
# Options:
# repo_path: Path to the Spring MVC repository
# --build-tool: Build tool (default: auto-detect)You can also run individual migration steps:
from migrate_build import BuildMigrator
from migrate_annotations import AnnotationMigrator
from migrate_config import ConfigMigrator
from migrate_tests import TestMigrator
# Run specific migration
migrator = AnnotationMigrator(repo_path)
migrator.migrate()After migration completes:
Review the changes
git log --oneline
git diff main..migrate-spring-mvc-to-bootBuild the project
# Maven
mvn clean package
# Gradle
gradle clean buildRun the application
# Maven
mvn spring-boot:run
# Gradle
gradle bootRun
# Or run JAR directly
java -jar target/myapp.jarRun tests
# Maven
mvn test
# Gradle
gradle testManual review needed for:
Test endpoints
curl http://localhost:8080/usersMerge when ready
git checkout main
git merge migrate-spring-mvc-to-bootreferences/migration_guide.md - Comprehensive step-by-step migration guide covering all aspects from build configuration to testing, with detailed examples and troubleshootingreferences/framework_comparison.md - Detailed comparison of Spring MVC and Spring Boot including architecture, configuration, controllers, testing, and deploymentExample controller files are provided in assets/:
UserController_Before.java - Spring MVC controller before migrationUserController_After.java - Spring Boot controller after migrationCompare these files to understand the transformations applied.
After migration, review MIGRATION_SUMMARY.json:
{
"source_framework": "Spring MVC",
"target_framework": "Spring Boot",
"build_tool": "maven",
"total_changes": 35,
"changes_by_type": {
"build": 5,
"annotation": 12,
"config": 6,
"test": 12
},
"files_modified": [...],
"next_steps": [...]
}Issue: Application won't start
@SpringBootApplication annotation and correct package structureIssue: Controllers not found
Issue: Build fails
mvn clean install or gradle clean build to refresh dependenciesIssue: Tests fail
Issue: Database connection fails
See references/migration_guide.md for detailed troubleshooting.
© ArabelaTso, Apache-2.0. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file
SKILL.md and 9 other files (scripts, references, assets) in skills/spring-mvc-to-boot-migrator of ArabelaTso/Skills-4-SE.
Open the folder on GitHubat commit 4f38503
Spring Mvc To Boot Migrator 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.
| Skill | Stars | Used in | Tokens | Auto-check | Licence | Repo updated |
|---|---|---|---|---|---|---|
| Spring Mvc To Boot Migrator this skillArabelaTso/Skills-4-SE | 253 | — | ~2.2k | Automated safety check: Pass | Apache-2.0 | |
| Progensivaprasadreddy/sivalabs-agent-skills | 188 | — | ~2.7k | Automated safety check: Notes | MIT | |
| Starter Domain Revieweraxelixlabs/axelix | 148 | — | ~3.3k | Automated safety check: Pass | LGPL-3.0 | |
| Java ArchitectJeffallan/claude-skills | 12k | — | ~1.5k | Automated safety check: Pass | MIT | |
| Java Add Graalvm Native Image Supportgithub/awesome-copilot | 40k | 1 repos | ~3.2k | Automated safety check: Pass | MIT | |
| Java Patternssoftspark/ai-toolkit | 179 | — | ~3.4k | Automated safety check: Pass | Apache-2.0 |
sivaprasadreddy/sivalabs-agent-skills
A skill your agent uses when the user wants to create/generate/scaffold a new Spring Boot project (Maven or Gradle, REST API / Web App / Spring Boot + Angular full stack).
axelixlabs/axelix
Reviews changes in sbs/starter-domain for technology-agnostic domain logic, forbidden production dependencies, and Java 11+ compatibility.
Jeffallan/claude-skills
Builds Spring Boot 3.x services on Java 21 with domain-driven design, WebFlux, JPA tuning and Spring Security using OAuth2 and JWT, verified by Maven or Gradle builds.
github/awesome-copilot
GraalVM Native Image expert that adds native image support to Java applications, builds the project, analyzes build errors, applies fixes, and iterates until successful compilation using Oracle best…
softspark/ai-toolkit
Java: Spring Boot, CompletableFuture, records, sealed types, JPA/Hibernate, virtual threads.
giuseppe-trisciuoglio/developer-kit
Provides expert guidance for building GraalVM Native Image executables from Java applications.
ArabelaTso/Skills-4-SE
Generate prioritized CVE watchlists and actionable security recommendations for repositories.
ArabelaTso/Skills-4-SE
Automatically migrate Python web applications between frameworks (Flask → FastAPI, Django → FastAPI).
ArabelaTso/Skills-4-SE
Generate test cases using metamorphic testing by applying transformations based on metamorphic properties.
ArabelaTso/Skills-4-SE
Instruments programs to capture execution traces specifically for reproducing reported bugs, enabling consistent replay and diagnosis of failures.
ArabelaTso/Skills-4-SE
Instrument programs (Python, C/C++, Java) to capture snapshots of key program states at runtime, including variables, memory, and call stacks.
ArabelaTso/Skills-4-SE
Instruments code to track the flow of untrusted or sensitive data at runtime, enabling detection of injection vulnerabilities, data leaks, and privilege violations.
Works with
Categories
Automatically migrate Spring MVC applications to Spring Boot. Spring Mvc To Boot Migrator is an agent skill from ArabelaTso/Skills-4-SE. Automatically migrate Spring MVC applications to Spring Boot.
Spring Mvc To Boot Migrator fits situations like: you need to modernize a Spring MVC project to Spring Boot while preserving functionality; tasks that involve Backend development; tasks that involve Commit messages.
Run `npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a claude-code`. Or copy the skill folder (skills/spring-mvc-to-boot-migrator in ArabelaTso/Skills-4-SE) into .claude/skills/spring-mvc-to-boot-migrator in your project. Claude Code loads it when a task matches its description.
Run `npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a codex`. Or copy the skill folder (skills/spring-mvc-to-boot-migrator in ArabelaTso/Skills-4-SE) into .agents/skills/spring-mvc-to-boot-migrator in your project. Codex loads it when a task matches its description.
Cursor, Gemini CLI, GitHub Copilot and OpenCode also load SKILL.md folders. With the skills CLI, run `npx skills add ArabelaTso/Skills-4-SE --skill spring-mvc-to-boot-migrator -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/spring-mvc-to-boot-migrator, .gemini/skills/spring-mvc-to-boot-migrator, .github/skills/spring-mvc-to-boot-migrator and .opencode/skills/spring-mvc-to-boot-migrator in your project.
Going by SKILL.md and its folder, Spring Mvc To Boot Migrator needs Python and Java for the scripts in its folder and the command-line tools its instructions call (gradle, python, git, mvn, java and curl). Our summary lists: Python 3.
SKILL.md contains no URLs. Its commands use git and curl, which can reach the network depending on how they are called. This is read from the text; nothing was executed.
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. The check reads SKILL.md only: the scripts in the folder are not scanned, so read them before running anything.
Spring Mvc To Boot Migrator is published under the Apache-2.0 licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 2.2k tokens (SKILL.md is roughly 8.9k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full. Its references folder adds about 5k tokens, read only when the agent opens those files.
Skills that share tags, products or a category with Spring Mvc To Boot Migrator: Progen (sivaprasadreddy/sivalabs-agent-skills, 188 stars), Starter Domain Reviewer (axelixlabs/axelix, 148 stars), Java Architect (Jeffallan/claude-skills, 12k stars) and Java Add Graalvm Native Image Support (github/awesome-copilot, 40k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
ArabelaTso (a GitHub user) maintains it in ArabelaTso/Skills-4-SE, which has 253 GitHub stars. The repository holds 170 skills in this directory. The repository was last updated on August 21, 2026.
Source: ArabelaTso/Skills-4-SE on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.