ERROR:root:11 Slither-Prop on Hardhat

I have a project create with hardhat and I'm trying to run slither-prop on it, using this command slither-prop . --contract Penguin

But I am getting this error ERROR:root:11 not yet supported by slither-prop, from what I could understand from the --help section, slither support hardhat, so what i am missing? Also it would be really great if you could share some officials docs/examples because i'm trying to understand the tool right now. I took a look at this, but i feel it is not very comprehensive (https://github.com/crytic/slither/wiki/Property-generation)