Directories
¶
| Path | Synopsis |
|---|---|
|
Package captool is the host-side SDK a first-party (capability-aware) lever tool uses to serve MCP, independently verify the presented capability token, enforce a hard backstop, and register with the broker at boot.
|
Package captool is the host-side SDK a first-party (capability-aware) lever tool uses to serve MCP, independently verify the presented capability token, enforce a hard backstop, and register with the broker at boot. |
|
cmd
|
|
|
lever
command
|
|
|
lever-agent
command
Command lever-agent is the in-jail capability helper: it enrols the agent's mTLS identity (key generated in-container, never leaves), serves the capability MCP tool the LLM drives, renews before expiry, and (via CLI verbs) lets the acceptance harness mint/delegate/exercise deterministically.
|
Command lever-agent is the in-jail capability helper: it enrols the agent's mTLS identity (key generated in-container, never leaves), serves the capability MCP tool the LLM drives, renews before expiry, and (via CLI verbs) lets the acceptance harness mint/delegate/exercise deterministically. |
|
lever-manager
command
|
|
|
lever-tool-db
command
Command lever-tool-db is the reference first-party capability-aware tool: a SQLite-backed read-only DB exposed over MCP via captool, with a hard table-allowlist backstop.
|
Command lever-tool-db is the reference first-party capability-aware tool: a SQLite-backed read-only DB exposed over MCP via captool, with a hard table-allowlist backstop. |
|
examples
|
|
|
assistant-demo/tools/lever-tool-todo
command
Command lever-tool-todo is the demo's FIRST-PARTY capability tool: a tiny read-only MCP server, built with the captool SDK, that lists todos from a CSV.
|
Command lever-tool-todo is the demo's FIRST-PARTY capability tool: a tiny read-only MCP server, built with the captool SDK, that lists todos from a CSV. |
|
assistant-demo/tools/weather-stub
command
Command weather-stub is a stand-in for an EXTERNAL MCP server the broker FRONTS (proxies) rather than owns — the same shape as a real host service like a calendar or a weather API you already run.
|
Command weather-stub is a stand-in for an EXTERNAL MCP server the broker FRONTS (proxies) rather than owns — the same shape as a real host service like a calendar or a weather API you already run. |
|
internal
|
|
|
agent
Package agent is the in-jail lever-agent core: it owns the agent's keypair (generated in-container, never leaves), enrols + renews its mTLS identity with the broker, mints/attenuates capability tokens on the LLM's behalf, and serves the capability MCP tool.
|
Package agent is the in-jail lever-agent core: it owns the agent's keypair (generated in-container, never leaves), enrols + renews its mTLS identity with the broker, mints/attenuates capability tokens on the LLM's behalf, and serves the capability MCP tool. |
|
apply
Package apply turns an application config into an ordered bring-up plan and (Part C) executes it.
|
Package apply turns an application config into an ordered bring-up plan and (Part C) executes it. |
|
backend
Package backend defines the substrate contract every containment backend satisfies.
|
Package backend defines the substrate contract every containment backend satisfies. |
|
backend/guest
Package guest provisions an Ubuntu jail guest — rootless container runtimes plus a cross-compiled scion binary — through host-side argv prefixes.
|
Package guest provisions an Ubuntu jail guest — rootless container runtimes plus a cross-compiled scion binary — through host-side argv prefixes. |
|
backend/lima
Package lima implements the Backend contract via a Lima VM (vz on macOS, QEMU/KVM on Linux).
|
Package lima implements the Backend contract via a Lima VM (vz on macOS, QEMU/KVM on Linux). |
|
backend/orbstack
Package orbstack implements the Backend contract on macOS via an OrbStack isolated machine + rootless Docker + iptables egress.
|
Package orbstack implements the Backend contract on macOS via an OrbStack isolated machine + rootless Docker + iptables egress. |
|
backend/registry
Package registry constructs the selected containment backend.
|
Package registry constructs the selected containment backend. |
|
bridge
Package bridge is the poll-based notification bridge: it consumes Scion agent events via an Inboxer and appends each NEW event (by id) as one JSON line to an events file.
|
Package bridge is the poll-based notification bridge: it consumes Scion agent events via an Inboxer and appends each NEW event (by id) as one JSON line to an events file. |
|
broker
Package broker is the host-side capability authority and MCP gateway.
|
Package broker is the host-side capability authority and MCP gateway. |
|
broker/registry
Package registry holds the broker's view of registered MCP tools: their backends, operations, the caveat→param mapping that lets the gateway turn a request's real arguments into the constraint-keyed param set the token layer verifies, and optional allowed-value rules.
|
Package registry holds the broker's view of registered MCP tools: their backends, operations, the caveat→param mapping that lets the gateway turn a request's real arguments into the constraint-keyed param set the token layer verifies, and optional allowed-value rules. |
|
broker/rules
Package rules is the broker's request/delegation policy: per agent, which capabilities it may obtain for itself and which it may delegate (mint bound to another agent).
|
Package rules is the broker's request/delegation policy: per agent, which capabilities it may obtain for itself and which it may delegate (mint bound to another agent). |
|
brokerctl
Package brokerctl is the host-side controller for the lever capability broker: it translates a lever config into a broker.Config, ensures the CA + capability signing root key, supervises first-party tool subprocesses, and runs the broker.
|
Package brokerctl is the host-side controller for the lever capability broker: it translates a lever config into a broker.Config, ensures the CA + capability signing root key, supervises first-party tool subprocesses, and runs the broker. |
|
cap/ca
Package ca is a tiny internal CA: it issues per-agent mTLS certs whose CommonName is the agent identity, and proves the caller identity of a TLS connection.
|
Package ca is a tiny internal CA: it issues per-agent mTLS certs whose CommonName is the agent identity, and proves the caller identity of a TLS connection. |
|
cap/token
Package token mints and verifies per-agent capability tokens: a compact Ed25519-signed struct (see token.go).
|
Package token mints and verifies per-agent capability tokens: a compact Ed25519-signed struct (see token.go). |
|
config
Package config loads an application config: the declarative description of a lever agent-manager application (the manager + its workers).
|
Package config loads an application config: the declarative description of a lever agent-manager application (the manager + its workers). |
|
egress
Package egress generates the jail's network egress allowlist as iptables/ ip6tables OUTPUT-chain argv.
|
Package egress generates the jail's network egress allowlist as iptables/ ip6tables OUTPUT-chain argv. |
|
exec
Package exec is the single seam to external commands (orb, docker, scion, iptables).
|
Package exec is the single seam to external commands (orb, docker, scion, iptables). |
|
jail
Package jail provides a JailRunner: an exec.Runner that executes commands INSIDE a jail via a backend-supplied argv prefix — e.g.
|
Package jail provides a JailRunner: an exec.Runner that executes commands INSIDE a jail via a backend-supplied argv prefix — e.g. |
|
scion
Package scion is the single seam to the `scion` CLI.
|
Package scion is the single seam to the `scion` CLI. |
|
skills
Package skills holds the framework-authored SKILL.md files scaffolded into instance trees by `lever init`.
|
Package skills holds the framework-authored SKILL.md files scaffolded into instance trees by `lever init`. |
|
tools
|
|
|
test/fakeupstream
command
Command fakeupstream is a deterministic stand-in for api.anthropic.com used by the api-key live test suite.
|
Command fakeupstream is a deterministic stand-in for api.anthropic.com used by the api-key live test suite. |
Click to show internal directories.
Click to hide internal directories.