build-project

Installation
SKILL.md

Skill: Build Project

Build a target project into an opentaint project model. The model is this skill's only output

Inputs

From the caller; if omitted, fall back to the default. Ask only when a required input is missing and has no sensible default

  • Project root <project-root> — the project to build. Default: current directory
  • Model output directory <model-out> — where to write the model. Default: .opentaint/project
  • Build constraints (optional) — required Java version, submodules to initialize, --package filters for opentaint project

Workflow

1. Determine project type

Installs
5
Repository
seqra/opentaint
GitHub Stars
73
First Seen
3 days ago
build-project — seqra/opentaint