Sign inSign up

davidnet/prove2me-mixin:0.1.0

Multi-platform
Manifest digest

sha256:a3aae52aa7cb510ea54427eac1a3de94d6e7bfe789947db7b9ccf82f7d93207e

Last pushed

4 days by davidnet

Type

Sandbox Kit

Manifest digest

sha256:a3aae52aa7cb510ea54427eac1a3de94d6e7bfe789947db7b9ccf82f7d93207e

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.0

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⁠