rust-djinn: You Should Specify Your Code Unambiguously (and Prove That You Did)

A Rust tool called rust-djinn lets developers write specifications for functions and uses an LLM to generate code that is verified to match the specification.