shellfirm
by kaplanelad
Intercept any risky patterns (default or defined by you) and prompt you a small challenge for double verification
AI summary
Command Verifier
A tool that detects and prompts verification for risky shell commands to prevent accidental data loss or other adverse effects
- stars
- 823
- forks
- 25
- watching
- 6
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Command processor verifier
Adds support for verifying a specific command processing framework
C verifier
A software verification toolchain that translates C code into intermediate language and verifies its assertions using model checking and abstract interpretation
CLI tester
Tool for testing command-line programs and commands in a portable way.
Haskell Verifier
A tool for verifying and validating Haskell programs using refinement types and SMT logic
Logging verifier
A tool for verifying Serilog logging behavior in C# applications
Contract Verifier
A tool for formally verifying Algorand smart contracts' behavior using property-based testing and symbolic execution
MongoDB Verifier
A tool for verifying MongoDB operations and recording their execution
Command recorder
A tool to record and analyze shell commands and their interactions with files.
Verification tool
A verification library for digital hardware described in Chisel or legacy components from VHDL, Verilog, or SystemVerilog
kdabir/has689
Tool checker
Checks presence and version of command line tools on the system path.
Command runner
A shell plugin that allows users to define and run default commands in specific directories.
Software Verifier
Automates Ada software verification with continuous testing and proofing
Shell scripter
A shell scripting tool with a Coffeescript-like syntax, designed to be an easy-to-use and feature-rich alternative for bash development.
HTTP verifier
A tool to verify HTTP requests and responses using Flurl bits.
System verifier
A system for verifying correctness of concurrent and crash-safe systems with recovery procedures
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions shellfirm.
