https://github.com/dpausp/batou-type
Type-check Batou projects
https://github.com/dpausp/batou-type
Last synced: 3 days ago
JSON representation
Type-check Batou projects
- Host: GitHub
- URL: https://github.com/dpausp/batou-type
- Owner: dpausp
- Created: 2026-04-28T08:51:18.000Z (about 2 months ago)
- Default Branch: main
- Last Pushed: 2026-05-05T15:44:48.000Z (about 1 month ago)
- Last Synced: 2026-05-05T17:34:44.600Z (about 1 month ago)
- Language: Python
- Size: 702 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# batou-type
Type-check batou deployment components against bundled stubs — catches attribute errors and missing imports before deploying.
## Install
```
uv add --dev batou-type
```
or
```
pip install batou-type
```
## Quick start
```
batou-type setup # configure project (run once)
batou-type check # type-check all components
batou-type check --fix # fix common errors in-place
```
After `setup`, `ty check components/` produces the same diagnostics — zero-config IDE integration via ty LSP.
Exit code **0** — no errors (or no component files found). Exit code **1** — at least one type error detected.
## When not to use this
- **Not a linter** — use [ruff](https://docs.astral.sh/ruff/) for style and formatting issues
- **Only checks `components/**/*.py`** — other Python files in your project are ignored
- **Stub coverage isn't complete** — some batou APIs may not have stubs yet, which can cause false positives. [Report them](https://github.com/flyingcircusio/batou-type/issues)
[Full documentation](docs/user/index.md)