Sign inSign up

davidnet/prove2me-mixin:0.1.1

Multi-platform
Manifest digest

sha256:c3851c24a10b7d9bd6079c787d93cbd5e29c89484c4ed88d2c3fc6accfb3d4cb

Last pushed

4 days by davidnet

Type

Sandbox Kit

Manifest digest

sha256:c3851c24a10b7d9bd6079c787d93cbd5e29c89484c4ed88d2c3fc6accfb3d4cb

OverviewSpec
MIXIN

Lean 4 and cached Mathlib setup for Prove2Me missions

Provides[email protected]
CapabilitiesExpand a row to see its full configuration.
TypeRequiredDescription
com.docker.sandbox/network-policy@1Required—
com.docker.sandbox/lifecycle@1Required—
com.docker.sandbox/agent-context@1Required—

Apply this mixin to a sandbox

sbx run <agent> --kit davidnet/prove2me-mixin:0.1.1

Make sure you have docker sbx installed

Run the following command to install sbx on your machine.

macOS
brew install docker/tap/sbx
Windows
winget install Docker.sbx
Learn more about docker sbx⁠