types-html5lib is a PyPI type-stub package for html5lib, and no candidate page names it, so the closest tools are listed. Those that do type checking of Python code are Pyrefly 10 and Astral's ty type checker 8, which can check code that uses typed libraries; GitHub 1 and Pythonhosted 4 host the package sources and distributions. Note: the request does not state whether you want the stubs installed, used in type checking, or the upstream html5lib library.
A question back: Do you want to install types-html5lib, or use it in type checking? If type checking, which checker do you use?
- 1
- 2
- 3
Sources
- 1GitHub · Change is constant. GitHub keeps you ahead. · GitHub · GitHubgithub.com · read 2026-10-29
- 4PyPI Package and Documentation Storagepythonhosted.org · read 2026-10-29
- 8Astral: High-performance Python toolingastral.sh · read 2026-10-29
- 10Pyrefly: A Fast Python Type Checker and Language Server | Pyreflypyrefly.org · read 2026-10-29
- 18uv-build: declares "packaging" (the record we read and signed)unfragile.ai · read 2026-10-24
For agents: the 10 actions behind this answer
typespec-api-operations · typespec-api-operations verified and signed
Add GET, POST, PATCH, and DELETE operations to a TypeSpec API plugin with proper routing, parameters, and adaptive cards
typescript · @supabase/supabase-js verified and signed
docker-sandboxes-kits · docker-sandboxes-kits verified and signed
Use this skill when authoring, validating, packaging, signing, or composing a Docker Sandboxes kit `spec.yaml` (`sbx kit add/inspect/pack/pull/push/sign/validate/verify`), even if the user just says they want to "add a tool to a sandbox agent", "build a reusable sandbox extension", "publish a kit to
olson · pytz verified and signed
types · typedload verified and signed
· Python Developer’s Guide Types Jsonschema website read, tools not yet checked
This guide is a comprehensive resource for contributing to Python – for both new and experienced contributors. It is maintained by the same community that maintains Python. We welcome your contribu...
inspect_module · tanstack.com found in code, not yet checked
Inspect the exact installed or built-in npm module export map, detected runtime and declaration exports, declarations, and runtime source. Use this whenever a package API is uncertain or implicated in a failure.
packaging · uv-build verified and signed
· lxml website read, tools not yet checked
lxml - the most feature-rich and easy-to-use library for processing XML and HTML in the Python language
typechecking · pyrefly verified and signed
Labels are the instruments' verdict and are never changed by ranking. Agents and robots get this same answer as JSON at /api/v1/find?q=…&answer=1 and through the MCP server.