Un chip aparte certifica que tus agentes no han entrado en conflicto.A separate chip certifies that your agents did not collide.
Pranaxis prueba que ninguna orden, pago o recurso se ha ejecutado dos veces ni por dos agentes a la vez. La prueba no la produce el software vigilado: la mide un chip de bajo coste, fuera del alcance de los agentes, y lleva su margen de error. Sin necesidad de un humano al final de la cadena.Pranaxis proves that no order, payment or resource was executed twice or by two agents at once. The proof is not produced by the software being watched: a low-cost chip measures it, out of the agents' reach, with its margin of error attached. No human needed at the end of the chain.
Pedir una demostración en directoRequest a live demo Ver cómo encajaSee where it fits
Qué certifica, y por qué vale ante un terceroWhat it certifies, and why it holds up before a third party
Cuando varios agentes de software actúan sobre los mismos recursos, cada uno puede estar dentro de su política y, aun así, el conjunto estar mal: dos agentes consumen la misma versión de un recurso y los dos salen bien. Es la pérdida de actualización, el doble gasto de los sistemas de agentes.When several software agents act on the same resources, each can stay inside its policy and the whole can still be wrong: two agents consume the same version of a resource and both succeed. It is the lost update, the double spend of agent systems.
Hoy ese hueco se cierra poniendo a una persona al final de la cadena, o analizando los registros después. Ninguna de las dos cosas impide la segunda acción, y las dos se apoyan en registros que escribe el mismo sistema que se audita.Today that gap is closed by placing a person at the end of the chain, or by analysing logs afterwards. Neither prevents the second action, and both rely on logs written by the very system being audited.
Pranaxis mide el conflicto en un chip aparte. El primer agente que consume una versión queda como titular; cualquier otro que intente lo mismo es denegado antes de que su petición llegue al recurso. Cada decisión lleva un certificado con la medida física que la sustenta y su tolerancia.Pranaxis measures the conflict in a separate chip. The first agent to consume a version becomes its holder; any other agent attempting the same is denied before its request reaches the resource. Every decision carries a certificate with the physical measurement behind it and its tolerance.
Cómo encaja con lo que ya tienesWhere it fits with what you already run
Las cajas 1 y 2 describen el diseño de referencia público para la seguridad de agentes. La caja 3 es Pranaxis, demostrada dentro de ese mismo entorno el 1 de octubre de 2026.Boxes 1 and 2 describe the public reference design for agent safety. Box 3 is Pranaxis, demonstrated inside that very runtime on 1 October 2026.
Perímetro de ejecuciónRuntime boundary
Sandboxes, políticas, credenciales. Lo que ya usas para que cada agente no se salga.Sandboxes, policies, credentials. What you already use so that each agent stays in bounds.
Responde:Answers: ¿se quedó el agente dentro de su perímetro?did the agent stay inside its boundary?
Monitor en silicioIn-silicon monitor
Vigila el comportamiento de cada agente desde un dominio que el agente no puede alcanzar.Watches each agent's behaviour from a trust domain the agent cannot reach.
Responde:Answers: ¿se comporta este agente?is this agent behaving?
Pranaxis: veredicto de consistenciaPranaxis: consistency verdict
Se inserta en el camino de las peticiones de los agentes como un verificador externo. Funciona hoy dentro de un entorno de ejecución de agentes de código abierto, sin tocar el perímetro ni el monitor.Sits in the agents' request path as an external verifier. Runs today inside an open-source agent runtime, without touching the boundary or the monitor.
Responde:Answers: ¿fue consistente el resultado conjunto, sin humano al final?was the joint outcome consistent, with no human at the end?
Para quiénWho it is for
Quien ya tiene agentes que actúanTeams whose agents already act
Plataformas de agentes, liquidación, logística, energía: operaciones donde hoy alguien revisa al final para poder defender el resultado ante un auditor o un cliente. Pranaxis les da el certificado que hoy no tienen, y les quita la revisión manual.Agent platforms, settlement, logistics, energy: operations where someone reviews at the end so the result can be defended before an auditor or a customer. Pranaxis gives them the certificate they lack today, and removes the manual review.
Quien debe certificar agentes autónomos ante una administraciónThose who must certify autonomous agents to a regulator
Operadores y proveedores de servicios de sistemas autónomos, y los propios reguladores. Un sistema sin enlace no puede justificar sus decisiones con un registro que él mismo escribe; un certificado físico sí. Estamos abriendo las primeras conversaciones para saber en qué forma lo necesitan.Operators and service providers of autonomous systems, and regulators themselves. A system without a link cannot justify its decisions with a log it writes itself; a physical certificate can. We are opening the first conversations to learn in what form they need it.
Tres formas de tenerloThree ways to have it
Como servicioAs a service
Pranaxis opera el hardware de certificación y tú pagas solo por los certificados que emiten tus agentes, sin cuotas. Es la forma principal y la más rápida de empezar.Pranaxis operates the certification hardware and you pay only for the certificates your agents generate, with no subscription. The main form and the fastest way to start.
Como móduloAs a module
Una tarjeta o módulo FPGA de bajo coste dentro de tu propio sistema, con el software de lectura. Para nodos, vehículos y sistemas sin enlace.A low-cost FPGA card or module inside your own system, with the reading software. For nodes, vehicles and systems without a link.
Como licenciaAs a licence
El procedimiento software de certificación, para plataformas que quieran empezar sin hardware.The software certification procedure, for platforms that want to start without hardware.
Si tus agentes usan MCP, empieza hoy: Pranaxis MCP GatewayIf your agents use MCP, start today: Pranaxis MCP Gateway
El gateway es software abierto (Apache-2.0) y está en el registro oficial de MCP. Se coloca entre tus agentes y tus servidores MCP: las lecturas pasan; las llamadas que consumen un recurso compartido (lanzar una ejecución, pagar un pedido, escribir un fichero sobre un sha, actualizar una fila) se arbitran antes de llegar a la herramienta. Si otro agente ya tiene esa versión del recurso, la llamada no llega y el agente recibe un error legible con el certificado.The gateway is open source (Apache-2.0) and listed in the official MCP registry. It sits between your agents and your MCP servers: reads pass; calls that consume a shared resource (launch a run, pay an order, write a file at a sha, update a row) are arbitrated before reaching the tool. If another agent already holds that resource version, the call never arrives and the agent gets a readable error with the certificate.
Con el verificador en software es gratuito y se instala en cinco minutos. Con el chip Pranaxis, el mismo gateway devuelve el veredicto físico: ese es el servicio.With the software verifier it is free and installs in five minutes. With the Pranaxis chip, the same gateway returns the physical verdict: that is the service.
pip install pranaxis-mcp-gateway
# Claude Code, GitHub MCP server:
pranaxis-mcp --agent-id agent-a --rules github-official \
-- npx -y @modelcontextprotocol/server-github
# official MCP registry:
io.github.Anaciber/pranaxis-mcp-gatewayCódigo, reglas y documentación en GitHubCode, rules and docs on GitHub · PyPI
Dónde está hoyWhere it stands today
- Demostrado de extremo a extremo el 1 de octubre de 2026Demonstrated end to end on 1 October 2026Dos agentes en sandboxes de un entorno de ejecución de agentes de código abierto; la segunda petición sobre un recurso ya consumido, denegada por el chip antes de llegar al recurso.Two agents in sandboxes of an open-source agent runtime; the second request on an already-consumed resource denied by the chip before reaching the resource.
- Corre en un chip programable de bajo costeRuns on a low-cost programmable chipMismo diseño verificado en dos dispositivos de la misma familia, con las mismas leyes.Same design verified on two devices of the same family, with the same laws.
- Propiedad industrialIntellectual propertyCuatro solicitudes de patente españolas: P202631345 (realización física del verificador), P202631184 (coherencia sin consenso y auditoría de trazas de agentes), P202631166 (liquidación en registros distribuidos por sello validado) y P202631172 (liquidación en registros distribuidos).Four Spanish patent applications: P202631345 (physical realisation of the verifier), P202631184 (consistency without consensus and agent trace audit), P202631166 (settlement on distributed ledgers by validated seal) and P202631172 (settlement on distributed ledgers).
- Gateway MCP publicado el 8 de octubre de 2026MCP Gateway published on 8 October 2026Código abierto en GitHub, paquete en PyPI y entrada en el registro oficial de MCP; reglas para Vivado (AMD Ross), GitHub y SQL.Open source on GitHub, package on PyPI and entry in the official MCP registry; rules for Vivado (AMD Ross), GitHub and SQL.
- Primera versiónFirst versionCertifica una cosa y la certifica bien: que ningún recurso versionado se consumió dos veces. Las siguientes versiones añaden lo que esté medido, no lo que esté prometido.Certifies one thing and certifies it well: no versioned resource was consumed twice. Later versions add what has been measured, not what has been promised.
Te lo enseñamos en directo en veinte minutosWe will show it to you live in twenty minutes
Escríbenos con una línea sobre qué hacen tus agentes y sobre qué recursos actúan. Te proponemos fecha para una demostración en directo, sobre hardware real.Write to us with one line about what your agents do and which resources they act on. We will propose a date for a live demonstration on real hardware.
Arignatxa S.L., Madrid, España.Arignatxa S.L., Madrid, Spain.