MCP Server for the micro:bit
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"iflow-mcp-simonguest-microbit-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# microbit-mcp An MCP (Model Context Protocol) server for the micro:bit that enables LLMs to interact with micro:bit devices. ## Features ### Tools - **display_message**: Display text messages on the micro:bit LED matrix - **display_image**: Display custom images on the micro:bit LED matrix using a 5x5 grid format - **wait_for_button_press**: Wait for a button press on the micro:bit with optional button selection and timeout - **get_temperature**: Return the real-time reading from the micro:bit's built-in temperature sensor ## Setup 1. Flash the `src/microbit/main.py` program to your micro:bit 2. Connect the micro:bit via USB 3. Run the MCP server: `uv run microbit-mcp` 4. Configure your MCP client to connect to this server ### Command Line Options The MCP server supports several command-line options for configuration: ```bash # Use default port (recommended for most users) uv run microbit-mcp # Specify a custom serial port uv run microbit-mcp --port /dev/tty.usbmodem1234 uv run microbit-mcp -p COM3 # Windows example # List available serial ports to find your micro:bit uv run microbit-mcp --list-ports # Show help and usage information uv run microbit-mcp --help ``` #### Finding Your micro:bit Port If you're unsure which port your micro:bit is using, run: ```bash uv run microbit-mcp --list-ports ``` This will show all available serial ports and highlight likely micro:bit devices. The output will look something like: ``` Available Serial Ports: Likely micro:bit devices: /dev/cu.usbmodem2114202 - "BBC micro:bit CMSIS-DAP" Hardware ID: USB VID:PID=0D28:0204 All serial ports (3 found): /dev/cu.usbmodem2114202 - "BBC micro:bit CMSIS-DAP" ⭐ /dev/cu.Bluetooth-Incoming-Port - Bluetooth-Incoming-Port /dev/cu.usbserial-A1B2C3D4 - USB Serial Device Recommended: Use /dev/cu.usbmodem2114202 for your micro:bit ``` The ⭐ symbol indicates ports that are likely micro:bit devices. ## Button Press Tool The `wait_for_button_press` tool allows you to w…
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.