Skip to content

v0.0.1

Latest
Latest

Choose a tag to compare

View all tags
@SichangHe SichangHe released this 17 Jul 20:38
v0.0.1
7f8f7c9

Release notes

  • Midas Lex guides agents through intended behavior, specification writing, proof setup, proof repair, and external boundaries.
  • Midas Lex provides next-stage, searchable docs, guidance filters through profile, and the license notice through eula.
  • Midas Lex includes installation, validation, and recovery guidance for Midas Lex, Rust, and Verus.
  • Midas Lex renders guidance documents without source front matter and keeps related entries in the document body.
  • The wrapper installs through Cargo, downloads and runs Midas Lex, and checks automatically for updates to itself and Midas Lex.

Install

Recommended: install Rust and run:

cargo install midas-lex

See the README for current installation and usage instructions.

For manual installation, download the wrapper binary for your platform. Binary assets without private in the name are wrappers and are the files users should download. Binary assets with private in the name are internal runtime artifacts that the wrappers download and should not be installed directly.

By using this CLI, users agree to the EULA available through midas-lex eula.

Assets 26
Loading