/progen

name: progen
description: 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.
disable-model-invocation: true

progen: Spring Boot Project Generator

`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.

Step 1 — Ensure `progen` is available

Check for a working binary:

progen --version

If 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 --version

If 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).

Step 2 — Config schema (`.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