Spec Driven Development
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Descripción del creador (original en inglés)
Safe BLE diagnostics, evidence workflows, and guarded automation for AI agents.
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
Elige la app de IA que usas y copia la configuración.
Necesitas
¿Qué app usas?
Elige tu app arriba. La recordamos, así que la próxima vez el botón dirá “Instalar en …”.
Abre Claude Desktop → Settings → Developer → Edit Config y pega esto en claude_desktop_config.json
{
"mcpServers": {
"blea": {
"command": "uvx",
"args": [
"blea",
"mcp"
]
}
}
}Ejecuta esto en tu terminal
claude mcp add blea -- uvx blea mcpPégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"blea": {
"command": "uvx",
"args": [
"blea",
"mcp"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"blea": {
"type": "stdio",
"command": "uvx",
"args": [
"blea",
"mcp"
]
}
}
}Tu navegador te pide permiso para abrir la app; luego la app muestra la configuración y te pide confirmar. Los valores de las claves quedan vacíos para que los completes tú.
Este se ejecuta en tu computadora, y ChatGPT solo puede conectarse a servidores en internet. Elige otra app.
Tu elección se guarda en una cookie en este dispositivo; no necesitas cuenta.
Esta configuración se genera a partir de la ficha del creador en el registro. Si el README dice otra cosa, sigue el README.
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 6 nov 2026
El nombre en el registro se verificó con la cuenta de GitHub Nitmi, dueña del repo
Todavía no hemos leído este repo en GitHub
Todavía no hemos leído este repo en GitHub
Este se ejecuta en tu computadora; no hay endpoint en internet
Se ejecuta en tu computadora y usa ajustes locales en su lugar
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con todos los servidores activos de esta categoría en el registro. Las estrellas solo cuentan cuando quien lo publica es dueño del repo.
Superó 1 de 1 revisiones básicas aplicables. No hemos leído el código. Antes de agregar una clave o un token, revisa qué acceso pide el servidor y usa una clave que tenga solo los permisos que necesitas.
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
Se ejecuta en tu computadora. Tu app de IA lo inicia cuando hace falta, y los datos no pasan por los servidores del creador (a menos que el propio servidor llame a un servicio en línea).
El repo de GitHub cambió por última vez –, y la última versión (0.7.0) llegó al registro hace 38 días.
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Python (uv) en tu computadora.
En la misma categoría: Spec Driven Development, Remote Desktop Commander, dotnet-mcp
Servidores de la misma categoría hechos por otros creadores, ordenados por estrellas.
Cómo leer una tarjeta:★ Estrellas de GitHubiTres pilares: reseñas · revisiones · usoiActualizado = fecha en que se publicó la última versión en el registroi
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
MCP server for .NET symbols, XAML, source generators, and restricted workspace edit
Copiado tal cual del repo del creador. PopNx MCP no lo ha revisado ni lo respalda. Se quitaron HTML, imágenes y scripts. Los enlaces llevan fuera de este sitio.
BLEA — Bluetooth Low Energy Automation — is a universal Agent Plugin for safe, deterministic BLE work. It gives AI agents a portable Skill, a machine-readable CLI, a local MCP server, guarded automation, and offline evidence capture, diff, and replay.
The project is designed for the BLE work agents repeatedly need: checking OS Bluetooth access, finding the right nearby device, discovering GATT services, preserving and comparing raw byte evidence, reading and subscribing before changing state, and making writes only after explicit authorization.
| Surface | Role |
|---|---|
| Agent Plugin 1.0.0 | Packages the portable identity, Skill, and MCP declaration. |
| Agent Skill | Teaches agents the BLE workflow, safety boundaries, and recovery rules. |
| CLI | Emits deterministic JSON/JSONL for scripts, terminals, and any agent with shell access. |
| MCP | Exposes the same runtime as local, structured tools with managed BLE sessions. |
The ble executable is the shared runtime. Regular subcommands use the CLI surface; ble mcp starts the stdio MCP server. The MCP protocol is therefore a first-class interface, not a second tool hidden inside an unrelated CLI product.
BLEA requires Python 3.10 or newer. Bluetooth access is provided by the operating system through Bleak.
Give this prompt to an Agent with shell access:
Read https://github.com/Nitmi/blea and follow its README to install BLEA for me.
For manual installation, use the detailed paths below.
Install the latest published Python runtime from PyPI:
uv tool install blea
ble --help
For Codex, install the public Git marketplace package after the runtime:
codex plugin marketplace add Nitmi/blea
codex plugin add blea@blea
To install only the portable Agent Skill with the Skills CLI:
npx skills add Nitmi/blea --skill ble
For OpenClaw, install the same portable Skill from its public ClawHub listing:
openclaw skills install @nitmi/blea
clawhub install @nitmi/blea
The Skill teaches the workflow and safety policy; it does not install the Python runtime. Install blea from PyPI as shown above before asking an agent to access live Bluetooth hardware or start the local MCP server. The source Skill is skills/ble/SKILL.md, and the public ClawHub release is @nitmi/blea.
Start a new Agent task after installation. The marketplace package supplies the BLE Skill and MCP declaration; it does not install the Python runtime or operating-system Bluetooth permissions. See docs/installation.md for the release-tag, legacy 0.6.0 bridge, and update procedure.
From a checkout, install the command runtime directly from the working tree:
uv tool install --editable .
ble --version
For repository development:
uv sync --extra dev
uv run ble --help
Starting with 0.6.5, each release includes blea- -windows-x86_64.zip with a single-file ble.exe and a manifest binding its SHA-256, version, target, and source commit. Python is not required at runtime. The tag workflow builds twice on one GitHub-hosted Windows runner, rejects unequal ZIP hashes, runs ble --version and an adapter-free evidence replay, and creates GitHub artifact provenance. It does not run doctor, scan, or access Bluetooth hardware.
Verify the archive before use:
gh attestation verify blea-0.7.0-windows-x86_64.zip `
--repo Nitmi/blea --source-ref refs/tags/v0.7.0 --signer-workflow Nitmi/blea/.github/workflows/binary-release.yml ` --deny-self-hosted-runners
Attestation proves repository build provenance; it is not Windows Authenticode signing and does not prove a Bluetooth adapter, peripheral, or firmware identity.
The Python runtime and Agent Plugin are two related installation units: PyPI installs the ble executable, while an Agent Plugins 1.0.0 client loads this repository directory to discover plugin.json, mcp.json, and skills/ble. Install the runtime first so the plugin's local stdio MCP server can find ble on PATH. See docs/installation.md for source, plugin, update, permissions, and verification paths.
ble doctor --json
ble scan --timeout 8 --json ble inspect --device "id:AA:BB:CC:DD:EE:FF" --json ble probe --device "id:AA:BB:CC:DD:EE:FF" --max-reads 16 --json ble probe --device "id:AA:BB:CC:DD:EE:FF" --max-reads 16 --read-offset 16 --json ble read --device "id:AA:BB:CC:DD:EE:FF" --characteristic 2a19 --json ble pair --device "id:AA:BB:CC:DD:EE:FF" --allow-pairing \ --confirm-device "AA:BB:CC:DD:EE:FF" --timeout 60 --json ble subscribe --device "id:AA:BB:CC:DD:EE:FF" --characteristic 2a37 --duration 15 --jsonl ble observe --device "id:AA:BB:CC:DD:EE:FF" --duration 10 --jsonl ble diff before.blea.jsonl after.blea.jsonl --json ble replay capture.blea.jsonl inspect --json ble replay capture.blea.jsonl read --characteristic 2a19 --json ble exchange \ --device "id:AA:BB:CC:DD:EE:FF" \ --write-characteristic 12345678-1234-1234-1234-1234567890ab \ --notify-characteristic 87654321-4321-4321-4321-ba0987654321 \ --text ping --duration 5 --allow-write \ --confirm-device "AA:BB:CC:DD:EE:FF" --jsonl
Device names are accepted only when exactly one observed device has that name. Prefer the platform identifier returned by scan; on macOS this is normally a UUID rather than a MAC address.
Every binary value includes length, hex, base64, and replacement-safe UTF-8 representations. JSON errors use stable reasons and exit codes suitable for agent recovery.
probe is paginated. Follow next_read_offset until it is null. Page counts and characteristic-level failures live under read_page; ok=true means the page executed, while read_page.has_failures tells you whether any characteristic failed. Every result includes a small profile_summary. The CLI includes the full GATT profile by default and supports --no-include-profile; the MCP tool omits it by default to keep repeated pages compact.
Connection commands report timeout_scope=per_backend_operation. Their timeout applies separately to discovery, connection, and each GATT operation, rather than bounding the total command time. GATT entries include uuid_namespace. BLEA reports library descriptions only for canonical Bluetooth Base UUIDs, avoiding false standard names inferred from the leading bytes of custom 128-bit UUIDs.
observe discovers notify/indicate characteristics and watches them over one connection for a bounded duration. Omit --characteristic to select all event-capable traits, or repeat it for explicit selection. The result separates subscription failures, cleanup failures, and notification events; a quiet window is evidence only for that sample window.
Save a complete read-only evidence package after diagnosis:
ble capture \
--device "id:AA:BB:CC:DD:EE:FF" \ --output capture.blea.jsonl \ --max-reads 128 \ --observe-duration 10 \ --redact-identifiers \ --json
capture records the advertisement, normalized GATT profile, each readable-characteristic result, bounded notifications, operation errors, and a validated final summary. It performs no writes, pairing, or configuration changes and replaces the destination only after an atomic close. The JSONL file is the authoritative artifact; the command's JSON result is a compact summary. The Evidence Format v1 contract and deterministic validator live in docs/evidence-format-v1.md.
Compare two complete evidence packages without a Bluetooth adapter or device:
ble diff before.blea.jsonl after.blea.jsonl --json
ble diff before.blea.jsonl after.blea.jsonl --fail-on-change --json
diff validates both Evidence Format v1 inputs, projects them into stable BLE semantics, and emits sorted JSON Pointer changes. It ignores capture IDs, timestamps, runtime metadata, sampling duration, and RSSI movement within 5 dBm by default. Use --strict-rssi for exact RSSI comparison. Device identifiers must match unless an intentional cross-device comparison uses --allow-different-devices. Binary payloads are atomic changes, so one changed value does not produce separate Hex, Base64, and UTF-8 noise. A normal difference exits successfully; --fail-on-change returns code 3 after printing the complete result for CI. The contract lives in docs/diff-format-v1.md.
Replay a complete evidence package without a Bluetooth adapter or physical device:
ble replay capture.blea.jsonl inspect --json
ble replay capture.blea.jsonl probe --max-reads 32 --json ble replay capture.blea.jsonl read --characteristic 2a19 --json ble replay capture.blea.jsonl observe --duration 10 --jsonl ble replay capture.blea.jsonl run examples/replay-read-only.yaml --json
Replay reconstructs advertisements, GATT, reads, captured failures, subscription outcomes, and the notification timeline through the same read-only backend interfaces used for live devices. The default --speed 0 mode is immediate and deterministic; place a positive --speed before the operation to preserve recorded notification gaps at that multiplier. Missing observations return the stable replay_miss reason instead of an invented value or success. Replay never accesses a real adapter and never sends or simulates writes or exchanges. The full contract lives in docs/replay-format-v1.md.
Explicit OS pairing and unpairing are separate guarded, one-shot operations on Windows and Linux. Both require a fresh exact id: selector, --allow-pairing, and --confirm-device equal to the resolved identifier. Discovery defaults to 5 seconds (--scan-timeout), separately from the 60-second pairing per-operation timeout. Unpairing removes the OS bond and can disconnect other clients, so close any active BLEA session first. Neither action is automatically retried, and both return structured JSON results. macOS does not expose explicit pair/unpair through Bleak; protected GATT access prompts for pairing through the OS instead. Replay remains read-only even when the pairing flags are provided.
ble pair --device "id:AA:BB:CC:DD:EE:FF" --allow-pairing \
--confirm-device "AA:BB:CC:DD:EE:FF" --timeout 60 --json ble unpair --device "id:AA:BB:CC:DD:EE:FF" --allow-pairing \ --confirm-device "AA:BB:CC:DD:EE:FF" --json
For a Windows device that requires a six-digit PIN, set a process-local environment variable and pass its name with --pin-env. The PIN is not included in CLI arguments or BLEA's result fields. For example, after setting BLEA_PAIR_PIN locally:
ble pair --device "id:AA:BB:CC:DD:EE:FF" --allow-pairing \
--confirm-device "AA:BB:CC:DD:EE:FF" --pin-env BLEA_PAIR_PIN --json
This path uses Windows custom pairing with ProvidePin and requires encryption and authentication. It refreshes the OS bond state and reports paired_before, paired_after, pin_used, and authentication_verified. An exis
Solo se muestra el principio; lee el resto en el repo