The Agent Skills Directory

[COMMAND_EXECUTION]: The helper script check.py and the deployment instructions use subprocess calls to interact with the system's docker and docker compose binaries to manage the prover service. This is the intended behavior for the skill's deployment and monitoring functionality.
[EXTERNAL_DOWNLOADS]: The skill downloads a container image from the official ghcr.io/starkware-libs repository. This is a pinned, immutable image index used to ensure the integrity of the deployed prover service.
[SAFE]: The skill demonstrates high security awareness by implementing strict file permission requirements (chmod 600) for configuration files, redacting sensitive URLs from logs, and limiting the scope of its health-check RPC calls to a predefined list of read-only methods.

strk20-local-prover