Sign inSign up

davidnet/prove2me-mixin:0.1.2

Multi-platform
Manifest digest

sha256:d3c2b0cab1562a6be15a33f54ecd79b48f455cc270c9bb199347cc3a0eb4a857

Last pushed

3 days by davidnet

Type

Sandbox Kit

Manifest digest

sha256:d3c2b0cab1562a6be15a33f54ecd79b48f455cc270c9bb199347cc3a0eb4a857

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

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⁠