Josverl

6 mods across 1 repository, 317 stars between them.

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

Josverl/micropython-stubs

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).

not rated 317 yesterday A 2,704 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: