By cleaning up my room today, I found out about typos-cli.

I have just installed it via

sudo apt install cargo
cargo install typos-cli

Then adding this to .bashrc

if [ -d "$HOME/.cargo/bin" ] ; then
    PATH="$HOME/.cargo/bin:$PATH"
fi

I added it to .profile first (because .bash_profile does not exist), but apparently .profile isn’t being executed.