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)

Reproduce the reported `slither-prop . --contract Penguin` command in a Hardhat project and compare the result with the tool's `--help` output. Read the linked Property generation wiki page and document the supported setup or the missing guidance, with completion shown by a clear explanation or reproducible documentation update.

Written by the indexing model from the issue text.