Skip to content

Releases: MidasAl/midas-lex

Release list

v0.0.2-beta.1

v0.0.2-beta.1 Pre-release
Pre-release

Choose a tag to compare

View all tags
@SichangHe SichangHe released this 23 Jul 02:36
v0.0.2-beta.1
688fa58

Release notes

  • The wrapper supports persistent global runtime selection through config.toml at the Midas Lex data-directory root.
  • Cargo packages and workspaces can select an exact runtime version or allow pre-releases through [package.metadata.midas_lex] or [workspace.metadata.midas_lex].
  • Command-line, project, global, and default version-selection precedence is explicit, and invalid configuration produces a direct error.
  • The short command list marks the project guidance-filter profile command as usually not needed.
  • Midas Lex maps requirements through executable behavior and verifier evidence, keeps incomplete closure visible, and prints direct commands for its next guidance stages.

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.

Loading

v0.0.1

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