Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
Latest release v1.29.0 · 30 Aug 2026
These files are Josverl/micropython-stubs's own configuration. They tell Claude Code and GitHub Copilot 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.
.github/copilot-instructions.md A 2,704 tok .github/agents/agentic-workflows.agent.md A 24 tok .github/agents/ralph-auditer-runner.agent.md A 34 tok .github/agents/ralph-auditer.agent.md A 52 tok .github/agents/stub-source-auditor.agent.md A 39 tok .github/agents/stub-typing-specialist.agent.md A 74 tok