Spec Driven Development
de formulahendry
MCP Server that facilitates spec-driven development workflows, not just Vibe Coding.
Se ejecuta en tu computadora★ 440MITActualizado hace 14 meses
Instalar
hexvero
Resumen
Descripción del creador (original en inglés)
Electron release diff for security review: what changed in IPC, contextBridge, windows and hosts.
Los tres pilares de PopNx MCP
Estos tres nunca se combinan en una sola puntuación: las opiniones, las mediciones y la popularidad son cosas distintas.
- Opinión de usuariosiAún no hay reseñasLas reseñas se abrirán junto con las cuentas en una etapa posterior
- Nuestras revisiones básicasi1 de 1 superadasRevisado con información pública; el código aún no se ha escaneado
- UsoiAún sin medir★ –
Qué puedes hacer con él
Todavía no escribimos un resumen sencillo para este. Abajo están los datos que leímos del registro.
- Conexión: Se ejecuta en tu computadora
- Transporte: stdio
- Categoría: Otros
Instalación
Elige la app de IA que usas y copia la configuración.
Antes de instalar
- Revisiones básicas: 1 de 1 superadas
- Se ejecuta en tu computadora con los permisos de tu usuario (archivos, red, apps).
- El registro no indica ninguna clave que completar.
Necesitas
- npmNode.js instalado (para el comando npx)
¿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": {
"hexvero": {
"command": "npx",
"args": [
"-y",
"hexvero",
"mcp"
]
}
}
}Ejecuta esto en tu terminal
claude mcp add hexvero -- npx -y hexvero mcpO copia la configuración tú
Pégalo en .cursor/mcp.json de tu proyecto, o en ~/.cursor/mcp.json
{
"mcpServers": {
"hexvero": {
"command": "npx",
"args": [
"-y",
"hexvero",
"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ú.
O copia la configuración tú
Pégalo en .vscode/mcp.json de tu proyecto
{
"servers": {
"hexvero": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"hexvero",
"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.
Qué puede hacer
Se ejecuta en tu computadora; la lista de herramientas aparece en tu app de IA después de instalarlo.
Revisiones básicasi
Revisamos información que cualquiera puede ver; no hemos leído el código. Las revisiones que no aplican no se cuentan. · Revisado el 7 nov 2026
- ✓ Superada
El creador coincide con el repo
El nombre en el registro se verificó con la cuenta de GitHub maximilianfeix, dueña del repo
- … Aún sin revisar
Sigue en mantenimiento
Todavía no hemos leído este repo en GitHub
- … Aún sin revisar
Tiene licencia
Todavía no hemos leído este repo en GitHub
- – No aplica
El endpoint responde
Este se ejecuta en tu computadora; no hay endpoint en internet
- – No aplica
Inicio de sesión con OAuth
Se ejecuta en tu computadora y usa ajustes locales en su lugar
- … Aún sin revisar
Sin instrucciones ocultas en las descripciones de herramientas
Se ejecuta en tu computadora; solo podemos leer listas de herramientas de endpoints en internet
Comparado con otros en Otrosi
- Más estrellas que el 0% de los otros 32606 servidores de esta categoría
- Publicado en el registro más recientemente que el 73% de los otros 32606 servidores de esta categoría
- Revisiones básicas iguales o mejores que el 100% de los otros 32606 servidores de esta categoría
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.
Preguntas frecuentes
¿Es seguro hexvero?
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.
¿Qué claves o códigos necesita?
El registro no indica ninguna clave obligatoria, aunque algunos servidores te piden iniciar sesión la primera vez que los usas.
¿Se ejecuta en mi computadora o en la nube?
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).
¿Sigue en mantenimiento?
El repo de GitHub cambió por última vez –, y la última versión (0.12.0) llegó al registro hace 13 días.
¿Qué apps pueden usarlo?
Las apps compatibles con MCP, como Claude Desktop, Claude Code, Cursor y VS Code. También necesitas Node.js en tu computadora.
¿Qué puedo usar en su lugar?
En la misma categoría: Spec Driven Development, Remote Desktop Commander, Georgia MCP
Alternativas
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
Remote Desktop Commander
de desktop-commander
Remote Desktop Commander: use files, terminal and processes on your own computers from any AI app.
Se ejecuta en la nube★ 211Actualizado anteayer
Instalar
Georgia MCP
de abgeo
An MCP server for Georgian public data, read from the organizations that publish it.
Computadora o nubeActualizado hoy
Instalar
README del creador
Abrir el README
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.
hexvero
Know what changed inside your Electron release.
Diff two builds of an Electron app and see the IPC channels, preload bridge, window settings and network hosts that changed, with file and line on both sides.
Website · Try it · CI · AI agents · Comparison · Limits · Docs
English · Deutsch · Español · Français · Português (Brasil) · Русский · 中文 · 日本語 · 한국어
30 seconds of real output: a terminal recording and a browser recording, joined with a fade · mp4 · terminal: release-review-terminal.tape, UI: record-release-review.mjs
Try it in 10 seconds
npx hexvero demoNeeds Node.js 22.12 or newer. It copies two builds of a small example app (NotesDesk 1.4.0 and 1.5.0) into ./hexvero-demo and shows what changed. Excerpt, … marks cuts:
What changed between notesdesk-1.4.0.asar and notesdesk-1.5.0.asarTwo builds of a small example Electron app, read statically. Nothing was executed.
interfaces (2)
- preload.js::notesdesk::checkUpdate @ b: preload.js:9, handler main.js:30 · link direct
- preload.js::notesdesk::openInShell @ a: preload.js:9, handler main.js:30 · link direct … ipcChannels (2)
- update:check @ b: receiver main.js:30, sender preload.js:9 ? shell:open @ a: receiver main.js:30, sender preload.js:9 the other side has values there that could not be resolved windows (1) ~ main.js::win @ b: main.js:8 nodeIntegration: true → false, nodeIntegrationInEffect: "on" → "off", sandbox: false → true … endpoints (1)
- main.js::fetch::https://updates.notesdesk.example/latest.json @ b: main.js:30 · literal
? means hexvero could not tell, so shell:open is reported as unknown, not as removed. Then turn it into a gate:
$ npx hexvero check hexvero-demo/notesdesk-1.4.0.asar hexvero-demo/notesdesk-1.5.0.asar --policy hexvero-demo/policy.jsonhexvero check fail: the policy is violated ✗ new-interface-member notesdesk.checkUpdate new · fail ✗ new-external-host updates.notesdesk.example new · fail … $ echo $? 3
npx hexvero ui --demo --open shows the same comparison in a local web UI with the source lines of both builds side by side. The full tour: walkthrough.
Why
- A release review asks what the update changed: which channels a page can now reach, which preload members appeared, which window got more permissive, which servers the code now calls.
- A diff of the shipped bundle does not answer that. It is minified JavaScript inside an
app.asar; running the app to find out is not always allowed, and a checklist scanner looks at one build, not the change. - hexvero answers it from the files: each change with the file and line it was read from in both builds, what it could not establish, and a policy that fails CI on a new member, host or more permissive window. Nothing is executed.
What it reads
| IPC and bridge map | window → contextBridge member → IPC channel → ipcMain handler, with how each link was read |
| Window settings | webPreferences per window, and whether nodeIntegration and sandbox are in effect |
| Runtime and fuses | Electron, Chromium and Node versions, fuses and the ASAR integrity record, read from packaged binaries |
| Hosts and storage | network endpoints and localStorage/sessionStorage keys, literal or inferred |
| CI gate and SARIF | hexvero check: exit 0 pass, 3 violated, 4 not decidable; baseline, suppressions, SARIF 2.1.0 |
| MCP for agents | 16 tools with small paged answers, so a coding agent can run the same review |
| Local web UI | the comparison with both builds' source lines side by side, plus an offline HTML report |
Inputs: an app.asar, a macOS .app, a Windows or Linux install directory, or the release .zip you publish. Installers (.dmg, setup .exe, AppImage) need unpacking first. Per-platform paths: docs/cli.md.
On your own app
npx hexvero compare old/YourApp.app new/YourApp.app --report report.html # one offline HTML pagenpx hexvero init old/YourApp.app # starting policy, current hosts allowed npx hexvero check old/YourApp.app new/YourApp.app --policy .hexvero/policy.json
To accept what is there today, add --baseline .hexvero/baseline.json --update-baseline once; later runs fail only on new findings.
One build instead of two, with the single-build checks known from Electronegativity (CSP, shell.openExternal, permission handlers, window settings, certificate and command-line switches; from 0.13 also , custom protocols, executeJavaScript with code that is not a literal, resources over plain http and an Electron runtime past its end of support):
npx hexvero audit YourApp.app --format sarif > audit.sarif # exit 3 when a rule is violatedUse it in CI
Pinned to a version so a release cannot change your results unannounced:
jobs:hexvero: runs-on: ubuntu-latest permissions: contents: read steps:
- uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7 with: persist-credentials: false
- uses: actions/setup-node@949feb2413d6458794dcd2491c4babbbce0c15c1 # v7 with: node-version: 24
Build your app and fetch the previous release here, e.g. into previous/ and dist/.
- run: npx --yes hexvero@0.12.0 check previous/app.asar dist/app.asar --policy .hexvero/policy.json
Baseline, Markdown job summary and a least-privilege SARIF upload for code scanning: docs/ci.md.
For AI agents
In Claude Code, server and skill come as one plugin:
/plugin marketplace add maximilianfeix/hexvero/plugin install hexvero@hexvero
Elsewhere, npx hexvero setup --apply registers the MCP server with the coding agents it finds (dry run without --apply), or run npx -y hexvero@0.12.0 mcp over stdio. Text inside the target is treated as data, never as instructions. Clients, tools and what an agent receives: docs/mcp.md.
How it compares
| hexvero | Electronegativity | REA | diff of two bundles | |
|---|---|---|---|---|
| Built for | what changed between two builds | known risky patterns in one build | broad reverse engineering, static and dynamic | any text change |
| Compares two builds of one app | yes, list by list | no (one build; checks between Electron versions) | yes (compare_application_versions) | yes, minified bytes |
Bridge member → IPC channel, blind holdout2 | 65 of 78 | not measured | 6 of 66 | no |
| Release policy with CI exit codes | yes (0/3/4, SARIF) | SARIF output | not compared | no |
CSP, shell.openExternal, permission handlers | yes, hexvero audit (0.12) | yes | not compared | no |
, protocols, executeJavaScript | yes, hexvero audit (0.13) | yes | not compared | no |
| Status | active, MIT | archived 2026-10-24, last release 2023 | active | n/a |
Electronegativity was archived on 2026-10-24. From 0.13, hexvero audit runs its security checks with the same exit codes and SARIF as check, except two for options Electron has removed (affinity, auxclick) and its 27 API-upgrade checks; the check-by-check list is in the migration page. REA does much that hexvero does not (dynamic analysis, devices, decompilers); use it for that. Sources, dates and every caveat: docs/comparison.md.
Accuracy and limits
On the newest blind set, written by someone without access to hexvero, it found 52 of 64 IPC channels with none false, and it misses and misreports rows in other lists (all numbers). On real releases it is checked against the source (GitHub Desktop 3.6.7 → 3.6.10, Electron Fiddle 0.38 → 0.39), misses included. It reads files and never runs them, so a finding is what the code contains, not what it does at run time or whether it is exploitable; a passing check is not a security verdict. Parsing a hostile file still processes attacker-controlled bytes, within size, depth and time limits. The full list: docs/accuracy.md.
Docs
Walkthrough · CLI · CI · MCP · Policy schema · Electron rules and sources · Accuracy · Benchmarks · Other formats (native binaries, APK, WebAssembly and more) · Changelog
FAQ: does it run or upload my files?
No. Targets are parsed as bytes; nothing is executed. The UI binds to 127.0.0.1 with a per-session token. There is no telemetry and no network call in the code base. Throu
Solo se muestra el principio; lee el resto en el repo