See what CI/lock knows
List the exact registry built into the installed binary.
cilock tools listCI/lock recognizes commands, environments, and evidence formats across the delivery stack. An agent can inspect this same catalog, plan what to run, then turn the real output into signed evidence a policy can require.
cilock tools show --format jsonList the exact registry built into the installed binary.
cilock tools listAsk how a tool is detected, what it emits, and which attestor captures it.
cilock tools show <name>Wrap the command; CI/lock records the step and any detected structured output.
cilock run -- <command>“Native attestor” means the default CI/lock binary ships a dedicated evidence implementation. “Recognized tool” means CI/lock detects the tool and captures supported output through a format attestor or generic process evidence. Catalog presence does not by itself mean a Pushgate policy enforces it.
gitThe cilock git attestor captures the repository state at the working directory — HEAD commit, identities, refs, remotes, tags, parents, tree hash, and dirtiness — signed into in-toto evidence.
github-reviewSnapshots GitHub PR review state for the current commit (or an explicit SHA/PR) via the GitHub REST API (token: GH_TOKEN/GITHUB_TOKEN, or `gh auth token` fallback).
cilock tools show github-reviewgithubThe cilock github attestor fetches the GitHub Actions OIDC token, verifies it against the GitHub JWKS, and signs the decoded claims plus workflow context into in-toto evidence.
gitlabThe cilock gitlab attestor captures GitLab CI job context plus the GitLab-issued OIDC JWT and signs it into in-toto evidence, proving an attestation came from a specific pipeline, job, and project.
aws-codebuildThe cilock aws-codebuild attestor captures CodeBuild build identity from CODEBUILD_* env vars and the BatchGetBuilds API, signing the full build context into in-toto evidence.
go-testgo test — Go test runner.
cilock tools show go-testpytestpytest — Python test runner.
cilock tools show pytestjestJest — JavaScript test runner (Meta).
cilock tools show jestgo-buildgo build — Go compiler. Output binaries carry BuildInfo (module + VCS metadata) which the go-build attestor extracts and writes as a JSON sidecar so the evidence survives strip(1).
cilock tools show go-builddockerThe cilock docker attestor parses docker buildx --metadata-file JSON from products and records image digests, references, and per-architecture SLSA materials into signed in-toto evidence.
slsaThe cilock slsa attestor assembles a SLSA Provenance v1.0 predicate from sibling attestors in the same collection and signs it into in-toto evidence under the slsa.dev predicate type.
cosign-signSigstore cosign — container/artifact signing (validated via cosign sign-blob with a local ED25519 key).
cilock tools show cosign-signsyftGenerate signed CycloneDX or SPDX SBOMs with cilock — Anchore's Syft runs under `cilock run` so the SBOM is captured as a real v0.3 product, hashed into a Merkle tree, and parsed by the `sbom` attestor.
sbomThe cilock sbom attestor picks up SPDX-JSON or CycloneDX-JSON files from the product set, stores each document byte-preservingly, and signs it into in-toto evidence under the SBOM's native predicate type.
trivyScan containers, IaC, secrets, and licenses with Trivy under cilock — the SARIF report becomes a signed v0.3 attestation parsed by the rookery sarif attestor.
osv-scannerScan lockfiles or containers against the OpenSSF OSV vulnerability database with OSV-Scanner under cilock — each match becomes a signed v0.3 SARIF attestation.
semgrepRun Semgrep SAST under cilock — the SARIF report becomes a signed v0.3 attestation parsed by the rookery sarif attestor; supports any of Semgrep's bundled rulesets or custom rules.
sarifThe cilock sarif attestor captures a SARIF result file emitted by a code scanner (CodeQL, Semgrep, gosec, Trivy) and embeds it byte-identical in a signed in-toto attestation under a .report field.
conftestConftest — Rego/OPA policy testing for structured config.
cilock tools show conftestpolicyverifyThe cilock policyverify attestor emits a SLSA Verification Summary Attestation recording the outcome of a cilock verify run against a signed policy, signed into in-toto evidence.
alps-evidenceObserve which coding-agent process appears in cilock's ancestry, with bounded version, model, sandbox, configuration, and environment context that is explicitly non-enforcing.
apkoapko — builds single-layer OCI images from apk packages (Chainguard); auto-generates an SPDX SBOM per build.
cilock tools show apkoargo-workflowsArgo Workflows — Kubernetes-native workflow engine (CNCF).
cilock tools show argo-workflowsasffCaptures AWS Security Finding Format (ASFF) reports from AWS Security Hub (typically the output of `aws securityhub get-findings`).
cilock tools show asffawsThe cilock aws attestor fetches the EC2 instance identity document from IMDS, verifies its RSA-SHA256 signature against the AWS region certificate, and signs the verified host identity into in-toto evidence.
aws-configCaptures AWS Config compliance state for resources (output of `aws configservice get-compliance-details-by-config-rule` and related calls).
cilock tools show aws-configaws-guarddutyAWS GuardDuty — threat detection findings (CloudTrail/VPC/DNS log analysis).
cilock tools show aws-guarddutyaws-iam-credential-reportAWS IAM credential report — per-user MFA + key-rotation + password-age posture.
cilock tools show aws-iam-credential-reportaws-inspectorAWS Inspector v2 — vulnerability + network reachability findings for EC2/ECR/Lambda.
cilock tools show aws-inspectoraws-macieAWS Macie — automated S3 sensitive-data discovery.
cilock tools show aws-macieaws-secrets-managerAWS Secrets Manager via aws-cli.
cilock tools show aws-secrets-manageraws-security-hubAWS Security Hub — central security findings aggregator across AWS services.
cilock tools show aws-security-hubazure-activity-logAzure Activity Log / Monitor logs.
cilock tools show azure-activity-logazure-devopsAzure DevOps Pipelines — Microsoft CI/CD context.
cilock tools show azure-devopsazure-iidAzure VM IMDS — instance metadata + attested identity document.
cilock tools show azure-iidbanditBandit — Python static security analyzer (PyCQA).
cilock tools show banditbase-ancestryRecord where the tested commit sits relative to its base branch — head, the base the clone saw, their merge-base, and whether the head includes that base — so a gate can enforce "current with base" against the provider's live base.
bitbucket-pipelinesBitbucket Pipelines — Atlassian CI/CD context.
cilock tools show bitbucket-pipelinesbomKubernetes SIGs `bom` — SBOM tool for Kubernetes releases (SPDX).
cilock tools show bombuildkiteBuildkite CI/CD context.
cilock tools show buildkitebuildpacksThe cilock buildpacks attestor parses the CNB lifecycle's report.toml and the io.buildpacks.* label dump, binding a pack build's image digest, run image, buildpack group, and SBOM-layer digest into signed in-toto evidence.
cargo-auditcargo-audit — Rust dependency vulnerability scanner.
cilock tools show cargo-auditcargo-buildcargo build — Rust build orchestrator.
cilock tools show cargo-buildcdxgenCycloneDX SBOM generator (cdxgen) — multi-language SBOM tool from OWASP.
cilock tools show cdxgencheckovScan Terraform, CloudFormation, Kubernetes, Helm, and other IaC with Checkov under cilock — every misconfig becomes a signed v0.3 SARIF attestation.
circleciCircleCI CI/CD context.
cilock tools show circlecicloudbuild-gcpGoogle Cloud Build — GCP managed CI.
cilock tools show cloudbuild-gcpcloudtrailAWS CloudTrail — AWS account audit log.
cilock tools show cloudtrailcodebuild-awsAWS CodeBuild context.
cilock tools show codebuild-awscodeqlRun GitHub CodeQL under cilock — the SARIF report from `codeql database analyze` becomes a signed v0.3 attestation parsed by the rookery sarif attestor, with the literal codeql argv captured in command-run/v0.2.
command-runThe cilock command-run attestor records the executed argv, exit code, captured stdout/stderr, and an optional Linux ptrace forensic record, signed into in-toto evidence.
command-run-v0.1(no detector.yaml; user-driven or always-on)
cilock tools show command-run-v0.1configurationThe cilock configuration attestor captures the raw CLI flags and working directory that drove a run, signing them into in-toto evidence.
cosign-verifySigstore cosign verification.
cilock tools show cosign-verifydetect-secretsdetect-secrets — Yelp's pre-commit secret scanner.
cilock tools show detect-secretsdocker-benchCaptures Docker Bench for Security CIS benchmark results.
cilock tools show docker-benchdrone-ciDrone — open-source container-native CI.
cilock tools show drone-cienvironmentThe cilock environment attestor captures the host OS, hostname, username, and full process environment with sensitive values obfuscated, signing them into in-toto evidence.
falcoCaptures runtime security events from Falco (Cloud Native Computing Foundation runtime threat detection).
cilock tools show falcogcp-audit-logGoogle Cloud Audit Logs (Cloud Logging).
cilock tools show gcp-audit-loggcp-iitThe cilock gcp-iit attestor captures the GCE Instance Identity Token, verifies its signature against Google's JWKS, and signs the resulting GCE host identity into in-toto evidence.
github-actionThe cilock github-action attestor captures GitHub Action execution metadata — reference, type, inputs/outputs, exit code, and runtime context — signed into in-toto evidence.
githubwebhookThe cilock githubwebhook attestor verifies a GitHub webhook payload's HMAC-SHA256 signature and signs the parsed payload and event name into in-toto evidence.
gitleaksGitleaks — secret detection in git history and source.
cilock tools show gitleaksgosecRun gosec Go SAST under cilock — flags insecure patterns (weak crypto, math/rand, command injection) and emits a signed v0.3 SARIF attestation linked to the commit that produced the code.
govulncheckScan Go modules for vulnerabilities with reachability via govulncheck under cilock — the SARIF report becomes a signed v0.3 attestation parsed by the rookery sarif attestor.
gpg-signGnuPG signing — long-form artifact signature.
cilock tools show gpg-signgradleGradle — JVM build tool (Java/Kotlin/Groovy/Android).
cilock tools show gradlegrypeScan images or directories for vulnerabilities with Grype under cilock — the SARIF report becomes a signed v0.3 attestation parsed by the rookery sarif attestor, byte-identical to what Grype produced.
hadolintLint Dockerfiles with Hadolint under cilock — pinned base images, package install hygiene, USER root checks, and 100+ other rules become a signed v0.3 SARIF attestation.
helm-installhelm install / upgrade — Kubernetes chart deployment.
cilock tools show helm-installhuggingface-hubHuggingFace Hub CLI (`hf`) — model card + repo management. Validated by generating a HuggingFace-standard ModelCard README.md and attesting it as a material.
cilock tools show huggingface-hubinclusion-proofThe cilock inclusion-proof attestor binds a single file's digest to a Merkle tree root via an RFC 6962 audit path and signs it into in-toto evidence for downstream per-file verification.
inspecRun Chef InSpec (Progress) compliance profiles under cilock — every CIS, custom Ruby, or dev-sec.io scan becomes a signed v0.1 InSpec attestation linked to the profile and target it scanned.
instruction-fileThe cilock instruction-file attestor signs the digests of agent instruction files (CLAUDE.md, AGENTS.md, SKILLS.md, .cursorrules) and records whether the signing credential belongs to a workload or to a human's interactive session.
jenkinsThe cilock jenkins attestor captures Jenkins build metadata from JENKINS_/BUILD_ environment variables and signs it into in-toto evidence, binding an artifact to the pipeline run that produced it.
jwtThe cilock jwt attestor parses a JWT, fetches a JWKS, verifies the token signature, and signs the decoded claims plus the verifying key into in-toto evidence as a generic OIDC identity proof.
k8smanifestThe cilock k8smanifest attestor walks YAML/JSON Kubernetes manifests, strips ephemeral fields, records per-document digests and container image references, and signs them into in-toto evidence.
kicsKICS — Checkmarx IaC security scanner.
cilock tools show kicskube-benchThe cilock kube-bench attestor ingests an Aqua Security kube-bench CIS Kubernetes Benchmark JSON report from the step's products and signs a per-check pass/fail/warn summary into in-toto evidence.
kubeauditkubeaudit — K8s security auditor (Shopify).
cilock tools show kubeauditkubectl-auditkubectl get audit/events — Kubernetes API audit access.
cilock tools show kubectl-auditkubescapeScan Kubernetes manifests or a live cluster snapshot for NSA/CISA, MITRE, and ArmoBest framework violations with Kubescape under cilock — emits a signed v0.3 SARIF attestation.
kustomize-buildkustomize build — declarative K8s manifest customization.
cilock tools show kustomize-buildkyvernoKyverno — Kubernetes policy management (CNCF).
cilock tools show kyvernolinkThe cilock link attestor synthesizes an in-toto Link v0.3 predicate from the step's command-run, material, product, and environment attestors and signs it into in-toto evidence for legacy verifiers.
linkerd-checkCapture Linkerd service-mesh state under cilock — the native linkerd-check attestor parses `linkerd check -o json` plus optional `linkerd viz edges -o json` into a signed v0.3 attestation with per-category check rollup and per-edge mTLS booleans, gated by Rego for release-time mTLS enforcement.
lockfilesThe cilock lockfiles attestor captures the contents and SHA-256 digest of common package-manager lockfiles in the working tree and signs them into in-toto evidence as a pinned-dependency fingerprint.
malcontentmalcontent (`mal`) — flags supply-chain-attack capabilities and behaviors in binaries and source (Chainguard).
cilock tools show malcontentmaterialThe cilock material attestor snapshots the working directory before a step runs and emits a single RFC 6962 Merkle-root in-toto subject (tree:materials) over every input file's digest.
material-v0.1The legacy v0.1 material wire format — a flat path→digest map of every input file. Verify-only today; current builds emit material v0.3. Documented for reading pre-cutover attestations.
mavenThe cilock maven attestor parses a Maven pom.xml and signs the project coordinates and declared dependencies into in-toto evidence as a static, pre-build dependency record.
maven-buildApache Maven `mvn` — JVM dependency + build orchestrator (catalog-only; the maven attestor plugin emits the actual SLSA-style record).
cilock tools show maven-buildmelangemelange — builds apk packages from declarative YAML pipelines (Chainguard); emits an SBOM per package.
cilock tools show melangenancyNancy — Sonatype's OSS Index vulnerability scanner for Go modules.
cilock tools show nancynotary-v2notation (Notary v2) — OCI artifact signing.
cilock tools show notary-v2npm-auditnpm audit — Node.js dependency vulnerability scanner.
cilock tools show npm-auditnpm-installnpm install / npm ci — Node.js dependency resolution + install.
cilock tools show npm-installnucleiRun ProjectDiscovery Nuclei under cilock — the SARIF report it emits via -sarif-export becomes a signed v0.3 attestation parsed by the rookery sarif attestor; supports any of Nuclei's ~13,000 community templates.
ociThe cilock oci attestor ingests an OCI/Docker image saved as a tarball product and signs the manifest, image ID, layer diffIDs, and repo tags into in-toto evidence.
omnitrailThe cilock omnitrail attestor captures a content-addressed trail of every file and directory under the working directory with POSIX metadata, signed into in-toto evidence for cross-tool provenance correlation.
oscapRun OpenSCAP (oscap) XCCDF baseline scans under cilock — every SCAP Security Guide profile evaluation becomes a signed in-toto envelope carrying parsed pass/fail/N/A counts plus the raw XCCDF results XML.
pip-auditpip-audit — Python dependency vulnerability scanner from PyPA.
cilock tools show pip-auditpip-installThe cilock pip-install attestor captures the post-build Python package environment via pip, statically analyzes installed code and PyPI PEP 740 provenance, and signs it into in-toto evidence.
platform(no detector.yaml; user-driven or always-on)
cilock tools show platformpnpm-installpnpm install — fast disk-efficient Node.js package manager.
cilock tools show pnpm-installpolarisPolaris — Fairwinds Kubernetes best-practices validator.
cilock tools show polarisproductThe cilock product attestor snapshots the working directory after a step runs and emits a single RFC 6962 Merkle-root in-toto subject (tree:products) over every output file's digest.
product-v0.1The legacy v0.1 product wire format — a flat path→Product map with per-file MIME and digest, one file subject each. Verify-only today; current builds emit product v0.3.
product-v0.2The legacy v0.2 product wire format — same per-file map as v0.1 but a single tree:products subject via a hand-rolled hash chain. Verify-only today; current builds emit product v0.3.
protocProtocol Buffers compiler — generates Go/Java/Python/JS bindings from .proto files. Common in monorepos with API codegen pipelines.
cilock tools show protocprowlerScan AWS, GCP, Azure, Kubernetes, and Microsoft 365 against CIS, NIST, ISO 27001, HIPAA, and PCI-DSS with Prowler under cilock — findings become a signed v0.3 attestation parsed by the native prowler attestor.
retire-jsRetireJS — JavaScript library vulnerability scanner.
cilock tools show retire-jssafetySafety — Python dependency vulnerability scanner (PyUp).
cilock tools show safetyscubagogglesCapture a Google Workspace tenant's raw configuration with CISA ScubaGoggles under cilock — the provider settings become a signed scubagoggles/v0.1 attestation that your own Rego policy evaluates. Facts in the evidence, verdict in the policy.
secretscanThe cilock secretscan attestor runs a Gitleaks pattern scan over every product and prior attestor's JSON, with recursive decoding, recording redacted findings into signed in-toto evidence.
slsa-provenance-v1(no detector.yaml; user-driven or always-on)
cilock tools show slsa-provenance-v1staticcheckstaticcheck — Go static analyzer (Honnef.co/go/tools).
cilock tools show staticchecksteampipeQuery AWS, GCP, Azure, Kubernetes, GitHub, and other cloud or SaaS APIs as SQL with Steampipe under cilock — every row becomes a signed v0.1 Steampipe attestation chained to subject digests per identity axis.
system-packagesThe cilock system-packages attestor records the build host's installed OS package inventory (name and version) before materials are gathered, signing it into in-toto evidence.
teamcityJetBrains TeamCity CI/CD context.
cilock tools show teamcitytekton-pipelinesTekton Pipelines — Kubernetes-native CI/CD (CDF).
cilock tools show tekton-pipelinesterrascanTerrascan — multi-IaC scanner (Terraform/K8s/Helm/ARM).
cilock tools show terrascantest-resultsCaptures JUnit XML test reports and CTRF JSON reports produced by test runners (Go: gotestsum --junitfile junit.xml -- ./... or go-junit-report — plain go test has no JUnit flag; pytest --junitxml, jest-junit, gradle, surefire, etc.).
cilock tools show test-resultstestsslRun testssl.sh TLS connection scans under cilock — the testssl JSON output becomes a signed v0.3 attestation parsed by the rookery sarif attestor, capturing protocol negotiation, cipher matrix, named TLS vulnerabilities, and FIPS 140-2/140-3 compliance findings.
tflintTFLint — Terraform linter for syntax + provider correctness.
cilock tools show tflinttfsectfsec — Terraform-specific static analysis (Aqua Security).
cilock tools show tfsectravis-ciTravis CI context.
cilock tools show travis-citrufflehogTruffleHog — secret + credential scanner (Truffle Security).
cilock tools show trufflehogvault-cliHashiCorp Vault CLI — secret distribution / dynamic credentials.
cilock tools show vault-clivexThe cilock vex attestor captures an OpenVEX document found among a step's product files and attaches it as in-toto evidence under the canonical OpenVEX predicate type URI.
vexctlvexctl — OpenVEX statement generation.
cilock tools show vexctlyarn-audityarn audit — Yarn dependency vulnerability scanner.
cilock tools show yarn-audityarn-installyarn install — Yarn package manager install.
cilock tools show yarn-installzapRun OWASP ZAP DAST scans under cilock — the SARIF report from ZAP's automation framework becomes a signed v0.3 attestation parsed by the rookery sarif attestor, with the literal docker argv captured in command-run/v0.2.
zarfRun Zarf under cilock so `zarf package create` — the air-gap package build — is captured as a signed run where the package tarball becomes a real v0.3 product and the literal zarf argv is recorded in command-run/v0.2.
Product names and logos identify compatible tooling. All trademarks belong to their respective owners; inclusion does not imply endorsement.
CI/lock is open source and standards-based. Pushgate verifies evidence, not the CI/lock executable: compatible builds emit supported DSSE-signed in-toto predicates for the exact commit under tenant-approved signer and RFC 3161 timestamp trust. A new predicate URI must appear in Judge's compiled or tenant-observed library before policy activation; typed server behavior also needs evaluator support. With Pushgate Enterprise at ALPS 3, TestifySec can build and sign your customer-specific CI/lock binary and bind its isolated signing service to measured, non-exportable identity in TPM 2.0, an HSM, Apple Secure Enclave, the T2 Security Chip, or a custom KMS solution.