Agent
GitHub Agentic Workflows (gh-aw) - Create, debug, and upgrade AI-powered workflows with intelligent prompt routing.
Agent
GitHub Agentic Workflows (gh-aw) - Create, debug, and upgrade AI-powered workflows with intelligent prompt routing.
Agent
Use when you want unattended orchestration of ralph-auditer by auto-relaunching it until status is completed or blocked.
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.
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.
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…
Instructions file GitHub Copilot
Copilot instructions for Josverl/micropython-stubs, covering micropython-stubs repository guide, project overview, repository structure, key concepts and stub types (half-products).
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: