shellfirm
Command Verifier
A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects
Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification
820 stars
6 watching
25 forks
Language: Rust
last commit: 12 months ago
Linked from 2 awesome lists
captchadevopsdevops-toolspromptrustshellterminalzsh
unixorn/awesome-zsh-plugins
sbilly/awesome-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
 verifytests/verify.brighter | Adds support for verifying a specific command processing framework | 2 |
 smackers/smack | A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation | 431 |
 simonmichael/shelltestrunner | Tool for testing command-line programs and commands in a portable way. | 130 |
 ucsd-progsys/liquidhaskell | A tool for verifying and validating Haskell programs using refinement types and SMT logic | 1,196 |
| verifytests/verify.serilog | A tool for verifying Serilog logging behavior in C# applications | 1 |
 runtimeverification/avm-semantics | A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution | 15 |
 flcdrg/verify.mongodb | A tool for verifying MongoDB operations and recording their execution | 5 |
 tycho-kirchner/shournal | A tool to record and analyze shell commands and their interactions with files. | 173 |
 chiselverify/chiselverify | A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog | 141 |
 kdabir/has | Checks presence and version of command line tools on the system path. | 681 |
 thevinter/def | A shell plugin that allows users to define and run default commands in specific directories. | 11 |
 jklmnn/continuous-verification | Automates Ada software verification with continuous testing and proofing | 9 |
 coderofsalvation/powscript | A shell scripting tool with a Coffeescript-like syntax, designed to be an easy-to-use and feature-rich alternative for bash development. | 159 |
| verifytests/verify.flurl | A tool to verify HTTP requests and responses using Flurl bits. | 0 |
 mit-pdos/perennial | A system for verifying correctness of concurrent and crash-safe systems with recovery procedures | 163 |