static-typing agents

5 tagged static-typing, measured the same way as everything else here.

Browse within: micropython 5mypy-stubs 5pyright 5type-checking 5vscode 5

ralph-auditer

01

Josverl/micropython-stubs

Agent

Use when auditing and improving all stubs under reference/micropython by iterating module-by-module, invoking Stub Source Auditor for each module, committing each accepted change to auditupdate, and recording durable learnings in repo memory.

not rated 317 today A 52 tokens original MIT

At most 3 mods per repository are shown here, and a mod shipped inside a plugin is left to that plugin's page — the rest are on their repository pages: