Skip to main content

Commands

Enum Commands 

Source
pub enum Commands {
Show 30 variants Create(CreateArgs), Setup(SetupArgs), Run(RunArgs), Ps(PsArgs), Msg(MsgArgs), Cancel(CancelArgs), Pause(PauseArgs), Resume(ResumeArgs), Respond(RespondArgs), Doctor(DoctorArgs), List(ListArgs), Add(AddArgs), Remove(RemoveArgs), Test(TestArgs), Pack(PackArgs), Dashboard(DashboardArgs), Models(ModelsArgs), Validate(ValidateArgs), Tools(ToolsArgs), Approvals(ApprovalsArgs), Policy(PolicyArgs), Serve(ServeArgs), AgentClient(AgentClientArgs), Daemon(DaemonArgs), Context(ContextArgs), Stages(StagesArgs), Result(ResultArgs), Mcp(McpArgs), Auth(AuthArgs), Update(UpdateArgs),
}
Expand description

Every lev subcommand. Each variant’s doc comment is what --help prints.

Variants§

§

Create(CreateArgs)

Create a new agent blueprint

§

Setup(SetupArgs)

Configure API keys and defaults

§

Run(RunArgs)

Run an agent

§

Ps(PsArgs)

List agents running in the shared-world daemon

§

Msg(MsgArgs)

Send a message to a running agent

§

Cancel(CancelArgs)

Cancel a running agent (alias: kill)

§

Pause(PauseArgs)

Pause a running agent (it finishes its in-flight step, then holds)

§

Resume(ResumeArgs)

Resume a paused agent

§

Respond(RespondArgs)

Answer a pending interaction (or list open ones with no request id)

§

Doctor(DoctorArgs)

Check that provider wiring works, end to end

§

List(ListArgs)

List available and installed blueprints

§

Add(AddArgs)

Install a blueprint

§

Remove(RemoveArgs)

Remove an installed blueprint

§

Test(TestArgs)

Run blueprint tests

§

Pack(PackArgs)

Bundle a blueprint for distribution

§

Dashboard(DashboardArgs)

Interactive agent dashboard

§

Models(ModelsArgs)

List and inspect available models

§

Validate(ValidateArgs)

Validate an agent blueprint

§

Tools(ToolsArgs)

List and validate the global Rhai script tools

§

Approvals(ApprovalsArgs)

Show what runs without an approval prompt, and why

§

Policy(PolicyArgs)

Manage taint tracking policy rules

§

Serve(ServeArgs)

Start the REST + WebSocket API server

§

AgentClient(AgentClientArgs)

Serve this agent over the Agent Client Protocol (JSON-RPC over stdio)

§

Daemon(DaemonArgs)

Run the shared-world daemon in the foreground

§

Context(ContextArgs)

Show a run’s context-window history (from its run.lvr archive)

§

Stages(StagesArgs)

Show a run’s per-stage token ledger, where a staged agent’s cost lives

§

Result(ResultArgs)

Print what an agent handed back when a run finished

§

Mcp(McpArgs)

Manage MCP tool servers and their authentication

§

Auth(AuthArgs)

Inspect and move the secrets Leviath holds

§

Update(UpdateArgs)

Update Leviath, then everything that shipped with it

Trait Implementations§

Source§

impl FromArgMatches for Commands

Source§

fn from_arg_matches(__clap_arg_matches: &ArgMatches) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed. Read more
Source§

fn from_arg_matches_mut( __clap_arg_matches: &mut ArgMatches, ) -> Result<Self, Error>

Instantiate Self from ArgMatches, parsing the arguments as needed. Read more
Source§

fn update_from_arg_matches( &mut self, __clap_arg_matches: &ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.
Source§

fn update_from_arg_matches_mut<'b>( &mut self, __clap_arg_matches: &mut ArgMatches, ) -> Result<(), Error>

Assign values from ArgMatches to self.
Source§

impl Subcommand for Commands

Source§

fn augment_subcommands<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate Self via FromArgMatches::from_arg_matches_mut Read more
Source§

fn augment_subcommands_for_update<'b>(__clap_app: Command) -> Command

Append to Command so it can instantiate self via FromArgMatches::update_from_arg_matches_mut Read more
Source§

fn has_subcommand(__clap_name: &str) -> bool

Test whether Self can parse a specific subcommand

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> ConditionalSend for T
where T: Send,

Source§

impl<T> Downcast for T
where T: Any,

Source§

fn into_any(self: Box<T>) -> Box<dyn Any>

Converts Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.
Source§

fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>

Converts Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further downcast into Rc<ConcreteType> where ConcreteType implements Trait.
Source§

fn as_any(&self) -> &(dyn Any + 'static)

Converts &Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &Any’s vtable from &Trait’s.
Source§

fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)

Converts &mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot generate &mut Any’s vtable from &mut Trait’s.
Source§

impl<T> DowncastSend for T
where T: Any + Send,

Source§

fn into_any_send(self: Box<T>) -> Box<dyn Any + Send>

Converts Box<Trait> (where Trait: DowncastSend) to Box<dyn Any + Send>, which can then be downcast into Box<ConcreteType> where ConcreteType implements Trait.
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> FutureExt for T

Source§

fn with_context(self, otel_cx: Context) -> WithContext<Self>

Attaches the provided Context to this type, returning a WithContext wrapper. Read more
Source§

fn with_current_context(self) -> WithContext<Self>

Attaches the current Context to this type, returning a WithContext wrapper. Read more
Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
Source§

impl<T> IntoResult<T> for T

Source§

fn into_result(self) -> Result<T, RunSystemError>

Converts this type into the system output type.
Source§

impl<A> Is for A
where A: Any,

Source§

fn is<T>() -> bool
where T: Any,

Checks if the current type “is” another type, using a TypeId equality comparison. This is most useful in the context of generic logic. Read more
Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more