progen

# 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:

```bash
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:

```bash
# 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                                    |
| `RedisCachingSupport`   | bool                                                                                      | `false`                             | No                                    |
| `OpenTelemetrySupport`  | bool                                                                                      | `false`                             | No                                    |
| `K8sSupport`            | bool — generates Kubernetes manifests                                                     | `false`