Dr Jskill
jdubois/dr-jskill
Creates Java + Spring Boot projects: Web applications, full-stack apps with Vue.js or Angular or React or vanilla JS, PostgreSQL, REST APIs, and Docker.
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).
$ npx skills add sivaprasadreddy/sivalabs-agent-skills --skill progen -a claude-codeProject install by default; add -g for ~/.claude/skills/.
$ gh skill install sivaprasadreddy/sivalabs-agent-skills progen --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/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .claude/skills && cp -r skills-src/skills/progen .claude/skills/progen && 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 "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .claude/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progenType 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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a codexProject install goes to .agents/skills/; add -g for ~/.codex/skills/.
$ gh skill install sivaprasadreddy/sivalabs-agent-skills progen --agent codexProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .agents/skills && cp -r skills-src/skills/progen .agents/skills/progen && rm -rf skills-srcUse ~/.agents/skills/ instead of .agents/skills for a personal install.
Codex skills documentation · loads skills from .agents/skills/
Install the "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .agents/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a cursorProject install goes to .agents/skills/; add -g for ~/.cursor/skills/.
$ gh skill install sivaprasadreddy/sivalabs-agent-skills progen --agent cursorProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .cursor/skills && cp -r skills-src/skills/progen .cursor/skills/progen && 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 "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .cursor/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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/sivaprasadreddy/sivalabs-agent-skills.git --path skills/progen--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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a gemini-cliProject install goes to .agents/skills/; add -g for ~/.gemini/skills/.
$ gh skill install sivaprasadreddy/sivalabs-agent-skills progen --agent gemini-cliProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .gemini/skills && cp -r skills-src/skills/progen .gemini/skills/progen && 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 "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .gemini/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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 sivaprasadreddy/sivalabs-agent-skills progenInstalls 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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a github-copilotProject install goes to .agents/skills/; add -g for ~/.copilot/skills/.
$ git clone --depth 1 https://github.com/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .github/skills && cp -r skills-src/skills/progen .github/skills/progen && 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 "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .github/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a opencodeOpenCode documents no install command of its own. Project install goes to .agents/skills/; add -g for ~/.config/opencode/skills/.
$ gh skill install sivaprasadreddy/sivalabs-agent-skills progen --agent opencodeProject scope by default (.agents/skills/); add --scope user for a personal install.
$ git clone --depth 1 https://github.com/sivaprasadreddy/sivalabs-agent-skills.git skills-src && mkdir -p .opencode/skills && cp -r skills-src/skills/progen .opencode/skills/progen && 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 "progen" agent skill from https://github.com/sivaprasadreddy/sivalabs-agent-skills/tree/main/skills/progen into .opencode/skills/progen/ in this project. Copy the whole folder (SKILL.md and every file beside it), keep the folder name "progen", 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.
progenA 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).
Progen is an agent skill from sivaprasadreddy/sivalabs-agent-skills. Use 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). Derives progen CLI inputs from the user's plain-English project description, asks for any missing mandatory info, ensures the progen binary is available, and runs it to generate the project. If the user asks for features progen doesn't support natively, generate the base project first, then add those features on top of the generated code.
Its SKILL.md is about 2.7k tokens, which your agent loads only when the skill is triggered. The skill folder holds 2 other files (for example `agents/openai.yaml`).
It sits in Backend & APIs, covering Backend development, Plain language and style rules and REST APIs. It works with Spring Boot, Gradle, Angular and Java. The repository describes itself as: Spring Boot skills for AI coding agents. The licence is MIT.
6 steps, taken from the step headings in SKILL.md.
Read from SKILL.md and the folder at commit e9f9861. 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.
Shell commands in SKILL.md call:
curlFrom the folder's file list and the shell code blocks in SKILL.md.
Hosts in commands or code, which the agent is likely to contact:
github.comFrom 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.
Progen loads about 2.7k tokens when it runs. Until then it costs about 125 tokens; SKILL.md has 874 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 noted patterns worth knowing about, such as sudo or a known installer.
sudo mv progen /usr/local/bin/ # or anywhere on PATHAutomated 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.
The full file from sivaprasadreddy/sivalabs-agent-skills at commit e9f9861, republished under its MIT licence (© sivaprasadreddy). 874 words, ~2,729 tokens.
.claude/skills/progen/SKILL.md (or your agent's skills folder). This skill also uses 1 other file; get the full folder from GitHub.progen is an offline, single-binary Go CLI (https://github.com/sivaprasadreddy/progen) that
scaffolds a complete, production-ready Spring Boot project: build files, Java source, tests,
Docker Compose, GitHub Actions, DB migrations, security, and more.
This skill's job: turn a user's description of the app they want into a .progen.json config,
fill gaps by asking the user, run progen to generate the project, and — if the user asked for
anything progen can't do natively — layer that on afterward by editing the generated code.
progen is availableCheck for a working binary:
progen --versionIf not found (or version looks outdated and the user wants latest), download the right asset for the current OS/arch from the latest release:
# Example for macOS arm64 — adapt OS/ARCH from `uname -s` / `uname -m`
curl -L -o progen.tar.gz \
"https://github.com/sivaprasadreddy/progen/releases/latest/download/progen_<os>_<arch>.tar.gz"
tar -xzf progen.tar.gz
chmod +x progen
sudo mv progen /usr/local/bin/ # or anywhere on PATH
progen --versionIf the exact asset naming isn't obvious, fetch the releases page
(https://github.com/sivaprasadreddy/progen/releases) to find the correct filename for the
user's OS/architecture before downloading. If a Go toolchain is available, go install github.com/sivaprasadreddy/progen@latest also works and avoids the asset-naming problem
entirely.
On macOS, downloaded binaries may trigger a Gatekeeper "cannot be opened because the developer
cannot be verified" error — tell the user to right-click → Open once in Finder to approve it (or
xattr -d com.apple.quarantine progen if working non-interactively is fine with them).
.progen.json)progen takes no scaffolding info via flags — everything goes through a JSON config file
consumed as progen -c <file> (interactive prompts are the only other input path, and are not
used by this skill). Field names below are exactly as marshaled to JSON (Go field names,
capitalized).
| Field | Type / allowed values | Default | Required |
|---|---|---|---|
AppName | string (used as output directory name) | myapp | Yes — ask if not derivable |
GroupID | string, e.g. com.mycompany | com.mycompany | Yes — ask if not derivable |
ArtifactID | string, e.g. boot-demo | myapp | Yes — ask if not derivable |
AppVersion | string, e.g. 1.0.0 | 1.0.0 | No |
BasePackage | string, e.g. com.mycompany.myapp | derived from GroupID+ArtifactID | No |
AppType | "REST API" | "Web App" | "Spring Boot + Angular Full Stack" | "REST API" | No (but shapes many other choices) |
BuildTool | "Maven" | "Gradle" | "Maven" | No |
PersistenceType | "Spring Data JPA" | "Spring JdbcClient" | "jOOQ" | "Spring Data JPA" | No |
DbType | "PostgreSQL" | "MySQL" | "MariaDB" | "PostgreSQL" | No |
DbMigrationTool | "Flyway" | "Liquibase" | "Flyway" | No |
SpringCloudAWSSupport | bool | false | No |
ThymeleafSupport | bool — set automatically to true when AppType is "Web App"; leave false otherwise | false | No (don't ask; derive from AppType) |
HTMXSupport | bool — only meaningful when AppType is "Web App" | false | No |
EmailSupport | bool | false | No |
RabbitMQSupport | bool | false | No |
RedisCachingSupport | bool | false | No |
OpenTelemetrySupport | bool | false | No |
K8sSupport | bool — generates Kubernetes manifests | false | No |
Notes:
.editorconfig/AI-assistant config files are always generated — there's no toggle for them."Spring Boot + Angular Full Stack" additionally scaffolds an Angular + TailwindCSS frontend; HTMXSupport and ThymeleafSupport don't apply to it.progen init, which writes a .progen.json pre-filled with the defaults above into the current directory.Read the user's description and map it onto the fields above:
GroupID), or repo-style slug (→ ArtifactID, AppName). If genuinely absent, this is mandatory — ask (see Step 4).RestApi. "website", "server-rendered pages", "HTMX" → WebApp (and set HTMXSupport if HTMX is mentioned). "Angular", "SPA", "single page app" → SpringBootAngularFullStack.Maven.SpringDataJPA; "JdbcClient"/"plain JDBC"/"no ORM" → SpringJdbcClient; "jOOQ" → SpringJOOQ.PostgreSQL; "MySQL" → MySQL; "MariaDB" → MariaDB.Flyway; "Liquibase" → Liquibase.SpringCloudAWSSupport; EmailSupport; RabbitMQSupport; RedisCachingSupport; OpenTelemetrySupport;K8sSupport.Only pause to ask when AppName, GroupID, or ArtifactID cannot be reasonably derived from
the description (progen's own prompt flow treats these three as required; everything else has a sane default). Ask concisely, e.g.:
What should the app/artifact be called, and what's the group id (e.g.
com.acme)?
Don't ask about AppType, BuildTool, PersistenceType, DbType, DbMigrationTool, or the feature booleans — apply the Step 3 mapping and fall back to defaults silently.
Write the derived config to a .progen.json file, then run progen non-interactively:
cat > .progen.json <<'EOF'
{
"AppType": "REST API",
"AppName": "orders-service",
"GroupID": "com.acme",
"ArtifactID": "orders-service",
"AppVersion": "1.0.0",
"BasePackage": "com.acme.ordersservice",
"BuildTool": "Maven",
"PersistenceType": "Spring Data JPA",
"DbType": "PostgreSQL",
"DbMigrationTool": "Flyway",
"SpringCloudAWSSupport": false,
"ThymeleafSupport": false,
"HTMXSupport": false,
"EmailSupport": false,
"RabbitMQSupport": false,
"RedisCachingSupport": false,
"OpenTelemetrySupport": false,
"K8sSupport": false
}
EOF
progen -c .progen.jsonThis creates a new directory named after AppName containing the generated project (and drops a copy of the resolved config as <AppName>/.progen.json).
Any invalid enum value is replaced with its default and a WARNING: is printed — check the command output for these.
progen only knows the fields in Step 2's table. If the user asked for something outside that list (e.g. GraphQL, a specific cloud provider integration beyond Spring Cloud AWS, a particular auth provider, gRPC, a non-listed database, CI platform other than GitHub Actions):
BasePackage, the chosen persistence/build tool, existing test setup, etc.).Don't block project generation waiting on unsupported-feature design decisions — scaffold first, layer the custom feature on top second.
© sivaprasadreddy, MIT. 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 1 other file in skills/progen of sivaprasadreddy/sivalabs-agent-skills.
Open the folder on GitHubat commit e9f9861
Progen 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 |
|---|---|---|---|---|---|---|
| Progen this skillsivaprasadreddy/sivalabs-agent-skills | 188 | — | ~2.7k | Automated safety check: Notes | MIT | |
| Dr Jskilljdubois/dr-jskill | 342 | — | ~4.6k | Automated safety check: Notes | Apache-2.0 | |
| Grails Developer Guideapache/grails-core | 2.9k | — | ~4.9k | Automated safety check: Pass | Apache-2.0 | |
| Spring Boot Crud Patternsgiuseppe-trisciuoglio/developer-kit | 357 | — | ~2.5k | Automated safety check: Notes | MIT | |
| Springboot Patternsaffaan-m/ECC | 276k | 5 repos | ~2.5k | Automated safety check: Pass | MIT | |
| Starter Domain Revieweraxelixlabs/axelix | 148 | — | ~3.3k | Automated safety check: Pass | LGPL-3.0 |
jdubois/dr-jskill
Creates Java + Spring Boot projects: Web applications, full-stack apps with Vue.js or Angular or React or vanilla JS, PostgreSQL, REST APIs, and Docker.
apache/grails-core
Guides building Grails web applications and REST APIs with GORM, controllers, services, views, plugins and Spock and Geb testing.
giuseppe-trisciuoglio/developer-kit
Provides and generates complete CRUD workflows for Spring Boot 3 services.
affaan-m/ECC
Spring Boot architecture patterns, REST API design, layered services, data access, caching, async processing, and logging.
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.
sivaprasadreddy/sivalabs-agent-skills
A skill your agent uses when asked to perform any of the following actions in a Java project: - To add jspecify support - To prevent NullPointerExceptions - To better handle Nullability This skill…
sivaprasadreddy/sivalabs-agent-skills
Apply the changes from all open Renovate bot pull requests of a GitHub repository into the local working tree.
sivaprasadreddy/sivalabs-agent-skills
Review Java code for bugs, duplicate code, correctness risks, maintainability improvements, and missing tests.
sivaprasadreddy/sivalabs-agent-skills
Verifies whether code follows Spring Modulith code structure or not.
sivaprasadreddy/sivalabs-agent-skills
Build Spring Boot 4.x applications following the best practices.
Works with
Categories
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). Progen is an agent skill from sivaprasadreddy/sivalabs-agent-skills. Use 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).
Progen fits situations like: the user wants to create/generate/scaffold a new Spring Boot project (Maven; REST API / Web App / Spring Boot + Angular full stack).
Run `npx skills add sivaprasadreddy/sivalabs-agent-skills --skill progen -a claude-code`. Or copy the skill folder (skills/progen in sivaprasadreddy/sivalabs-agent-skills) into .claude/skills/progen in your project. Claude Code loads it when a task matches its description.
Run `npx skills add sivaprasadreddy/sivalabs-agent-skills --skill progen -a codex`. Or copy the skill folder (skills/progen in sivaprasadreddy/sivalabs-agent-skills) into .agents/skills/progen 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 sivaprasadreddy/sivalabs-agent-skills --skill progen -a cursor` (or -a gemini-cli, github-copilot or opencode for the others). To copy it by hand, put the folder in .cursor/skills/progen, .gemini/skills/progen, .github/skills/progen and .opencode/skills/progen in your project.
Going by SKILL.md and its folder, Progen needs the command-line tools its instructions call (curl). Our summary lists: Docker.
SKILL.md names 1 domain. In commands or code: github.com; the agent is likely to contact it when it follows the instructions. This is read from the text; nothing was executed.
Our automated static check of SKILL.md found notes only (runs commands with sudo), nothing it rates as a warning. It is not a guarantee. Review the folder before installing.
Progen is published under the MIT licence (the repository's licence). It allows redistribution, so the full SKILL.md is shown on this page.
About 2.7k tokens (SKILL.md is roughly 11k characters). Agents keep only the skill's name and description in context until a task matches; then they load SKILL.md in full.
Skills that share tags, products or a category with Progen: Dr Jskill (jdubois/dr-jskill, 342 stars), Grails Developer Guide (apache/grails-core, 2.9k stars), Spring Boot Crud Patterns (giuseppe-trisciuoglio/developer-kit, 357 stars) and Springboot Patterns (affaan-m/ECC, 276k stars). The comparison table on this page puts their stars, adoption, token cost, safety result and licence side by side.
sivaprasadreddy (a GitHub user) maintains it in sivaprasadreddy/sivalabs-agent-skills, which has 188 GitHub stars. The repository holds 6 skills in this directory. The repository was last updated on October 5, 2026.
Source: sivaprasadreddy/sivalabs-agent-skills on GitHub. Facts on this page come from the repository at the commit we read; the author's words are quoted as theirs.