Runtime declarativo · Open source

From spec
to wasm.

Tu especificación, convertida en un componente ejecutable. Construye con IA, verifica con reglas y ejecuta con un runtime independiente.

Construye tu primer componente Explora la documentación

WebAssembly · Component Model · Rust · MIT

Identidad de Wasma: llama violeta y cian. From spec to wasm. Deterministic, portable, open.
En desarrollo activo

Un núcleo funcional. Una evolución abierta. Consulta el estado y los límites de cada capacidad.

Ver roadmap →
01 / Del contrato al componente

Una intención.
Un recorrido verificable.

La IA participa en la construcción. La validación y la ejecución tienen contratos explícitos.

01 /SpecificationLa intención
02 /Semantic IRLa estructura
03 /VerificationLas reglas
04 /CompilationEl artefacto
05 /WebAssemblyEl componente
06 /RuntimeLa ejecución
02 / El núcleo de Wasma

Menos suposiciones.
Más contratos.

Herramientas concretas para construir, comprobar y ejecutar componentes.

01 /

Construcción verificable

Una especificación se transforma en Semantic IR. El verifier comprueba su estructura antes de compilar a WebAssembly.

Explorar los conceptos →
02 /

Ejecución independiente

El runtime ejecuta componentes sin un LLM ni el compilador. Construcción y ejecución tienen responsabilidades distintas.

Conocer el runtime →
03 /

Permisos explícitos

Políticas de acceso, cuotas de fuel, límites de memoria y verificación de integridad. Cada frontera tiene un contrato.

Leer sobre seguridad →
04 /

Una CLI, todo el recorrido

Verifica, compila, prueba, ejecuta y publica en un almacén local. Verifica, compila, prueba, ejecuta y publica con la CLI oficial de Wasma.

Consultar los comandos →
05 /

Comportamiento comprobable

Suites de aceptación YAML y pruebas de regresión acompañan al componente. Un resultado esperado se puede volver a comprobar.

Ejecutar el ejemplo →
06 /

Evolución con contexto

SystemSpec y los artefactos versionados conservan el vínculo entre requisitos, componentes y cambios.

Ver hacia dónde vamos →
03 / Pruébalo en tu terminal

Empieza pequeño.
Ejecuta de verdad.

Un componente que recibe 42 y devuelve 42. Sin servicios externos ni claves de IA. El tutorial incluye el archivo de entrada y cada paso.

Abrir el ejemplo completo →
terminal · wasma
wasma verify identity.json
wasma build identity.json --output identity.wasm
wasma run --component identity.wasm \
  --function identity --fuel 100000 42
Resultado esperado: 42
04 / Sobre el autor

Julián Darío Luna Patiño

Creador de Wasma · Arquitectura de software y open source

Wasma nació de una pregunta: ¿cómo aprovechar la inteligencia artificial para construir software sin depender de ella para controlar su ejecución?

El proyecto explora una arquitectura en la que la construcción asistida por IA se separa de la verificación, compilación y ejecución, utilizando contratos explícitos y componentes WebAssembly.

GitHub @judlup TryCatch.tv Repositorio Wasma
01 / Origen y evolución

De Agent Native a Wasma

El proyecto comenzó como Agent Native, una exploración sobre la construcción de software asistida por inteligencia artificial. Su evolución hacia Wasma consolidó una arquitectura donde la especificación, la verificación, la compilación y la ejecución tienen responsabilidades independientes.

02 / Enfoque técnico

Menos suposiciones. Más garantías comprobables.

Wasma combina Semantic IR, validación estructural, compilación reproducible a WebAssembly y un runtime con permisos y límites de recursos explícitos. La IA puede participar en la construcción; la ejecución permanece independiente de ella.

03 / Gobernanza y comunidad

Construido en abierto

Wasma es un proyecto open source bajo licencia MIT. Su código fuente, decisiones arquitectónicas y hoja de ruta están disponibles públicamente para que desarrolladores puedan conocer su funcionamiento, revisar su implementación y contribuir a su evolución.

Construido en abierto

El siguiente paso también es tuyo.

Explora el código, comparte un caso de uso o contribuye al proyecto.

Ver el repositorio