Josverl/micropython-stubs

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

Latest release v1.29.0 · 30 Aug 2026

7 files for Claude Code, GitHub Copilot, Codex and OpenCode: ralph-auditer-runner, ralph-auditer, Stub Source Auditor, Stub Typing Specialist and 3 more — 4,685 tokens loaded in every session.

Open on GitHub micropython-stubs.readthedocs.io

Instructions

micropython-stubs copilot-instructions.md .github/copilot-instructions.md A 2,953 tok
micropython-stubs AGENTS.md AGENTS.md C 1,732 tok

Skills

beads .agents/skills/beads/SKILL.md A 74 tok

Agents

ralph-auditer-runner .github/agents/ralph-auditer-runner.agent.md A 34 tok
ralph-auditer .github/agents/ralph-auditer.agent.md A 52 tok
Stub Source Auditor .github/agents/stub-source-auditor.agent.md A 39 tok
Stub Typing Specialist .github/agents/stub-typing-specialist.agent.md A 74 tok

These files are Josverl/micropython-stubs's own configuration — they tell Claude Code, GitHub Copilot, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.