Josverl/micropython-stubs

Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.

317Stars on the repository
6Mods indexed here, across every type
yesterdayLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown

agentic-workflows

01

Josverl/micropython-stubs

Agent

GitHub Agentic Workflows (gh-aw) - Create, debug, and upgrade AI-powered workflows with intelligent prompt routing.

not rated 317 yesterday A 24 tokens copy · 88% MIT

Josverl/micropython-stubs

Agent

Use when you want unattended orchestration of ralph-auditer by auto-relaunching it until status is completed or blocked.

not rated 317 yesterday A 34 tokens original MIT

ralph-auditer

03

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 yesterday A 52 tokens original MIT

Stub Source Auditor

04

Josverl/micropython-stubs

Agent

Use when improving any MicroPython stub module by comparing stub definitions against MicroPython C/Python implementation, validating API surface, and applying source-first corrections with compatibility aliases when needed.

not rated 317 yesterday A 39 tokens original MIT

Josverl/micropython-stubs

Agent

Use when working on Python type stubs (.pyi) or stub-only packages: authoring, refactoring, or auditing stubs; resolving Pylance/mypy/pyright errors; verifying stub correctness against multiple type checkers; optimizing stubs for maintainability; investigating type-checker disagreements; reviewing changes that affect…

not rated 317 yesterday A 74 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: