velaris-lang 4.3.0 → 4.3.3

package/README.md

@@ -23,12 +23,35 @@ console.log(result.ok, result.output, result.refusedEffect);
 
 Velaris is a language where a function's signature declares its types,
 the effects it may perform, whether it can fail, and promises a theorem
-prover checks before the program runs. This package is a thin wrapper:
-the compiler is a Python package, so `pip install velaris-lang` once.
+prover checks before the program runs. This package is a thin wrapper
+around that compiler.
 
 Not a security boundary - allowing `ffi` grants everything Python can
 do. It is a real guard for running a script a model wrote.
 
+## The compiler
+
+The compiler itself is a Python package. This wrapper calls it, so
+install it once:
+
+```
+pip install velaris-lang
+```
+
+Two optional pieces are worth having:
+
+```
+pip install "velaris-lang[full]"
+```
+
+That adds `z3-solver`, which proves a function's promises before the
+program runs instead of leaving them to be checked as it goes, and
+`llvmlite`, which compiles pure integer and float code to native code
+instead of interpreting it. Neither is required. Without them Velaris
+runs fully interpreted and checks promises while running - it prints
+`note: llvmlite is not installed - running fully interpreted` and
+carries on, refusing effects outside the budget exactly the same way.
+
 [Documentation](https://gowrishankar-infra.github.io/velaris-lang/) ·
 [Playground](https://gowrishankar-infra.github.io/velaris-lang/playground.html) ·
 [Source](https://github.com/gowrishankar-infra/velaris-lang)

package/package.json

@@ -1,6 +1,7 @@
 {
   "name": "velaris-lang",
-  "version": "4.3.0",
+  "version": "4.3.3",
+  "mcpName": "io.github.gowrishankar-infra/velaris",
   "description": "Run code you did not write. A language where a signature declares its effects and promises, and the runtime refuses anything you did not allow.",
   "keywords": [
     "velaris",