leanSpec

pqdevnet0: client specs (#8)

Merge pull request #13 from syjn99/docs/docstring

docs: switch to docstring for consistency

Merge pull request #12 from tcoratger/ci-fix

fix(mypy): Fix issues with mypy typechecking / package namespaces; add missing types to pass CI