I like typing, also make test starts pyright to warn about type issues.

However in many places it does not "fit" without change to the code. Example with this unfinished PR #1562 : searx/results/models.py contains the various result types. However, in searx/webapp.py you can see a result = typing.cast(dict, result) because this function here add and replace some fields. It makes typing difficult to declare without code change. This is one example, searx/search/__init__.py has some typing, it could be improved without too many issues.

Do you a module/place where you would like to start?