Command-line tool

bend

brew/bend

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Language that blocks AI mistakes via proof

Website Source

At a glance

Type

Command-line tool

Install on

macOS

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install bend

Related command-line tools

• no-mistakes
  A local Git proxy that AI-validates your code before push, forwarding only clean commits upstream.
• coq
  A formal proof management system. It provides a formal language to write mathematical definitions, executable…
• guess-that-lang
  CLI game to see how fast you can guess the language of a code block!
• cargo-spellcheck
  Checks rust documentation for spelling and grammar mistakes
• typos-cli
  Source code spell checker rust cli spell-checker code-quality
• rakudo
  Mature, production-ready implementation of the Raku language hacktoberfest moarvm nqp raku rakudo
• vic3-tiger
  Validator that checks Victoria 3 user mod files for mistakes and warns about them. For example: missing localizations,…
• ck3-tiger
  Validator that checks Crusader Kings 3 user mod files for mistakes and warns about them. For example: missing…

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents