hakodesh
Host-agnostic Python CLI and SDK. After pip install hakodesh the user book is empty. Your LLM or agents mint spells, enchantments, wards, and combos as they need them. Repeated structured workflows can be remembered and, after a configurable promotion policy, executed as deterministic procedures without another LLM pass.
PyPI name and import: hakodesh. The command you type is devra — that is the snx role: devra <spell> [args...] casts a minted spell. hakodesh is the same CLI binary.
This package does not prove SNX token savings. Measurements are recall, correctness, straight-through execution, re-entry, model turns, and host-reported context crossing.
Release
Current PyPI version is 0.2.3. pip install hakodesh installs this release. The command you type is devra.
0.2.0 and 0.2.1 were withdrawn from the index (deleted, not yanked). 0.2.0's procedure integrity did not cover approval or routing state and parameterized replay reused last-seen literals. 0.1.0 remains installable. 0.2.2 remains as the previous current. 0.2.3 is the same runtime as 0.2.2; it teaches devra (the snx role), spellbook, and first-class enchant / ward / combo.
Procedures are HMAC-authenticated with the home chain key. Arguments that vary across training traces become required slots; decide / run take --bind name=value. Unsigned 0.2.0 vN.json files fail closed until re-promoted.
Install
pip install hakodesh
devra hello
Data home: HAKODESH_HOME or the platform user-data directory for hakodesh. Never ~/spells.
Kernel commands
These are the runtime, not starter spells. Minted spell names are kebab-case. Kernel verbs are single tokens (devra, spellbook, run). Two-word leftovers stay kebab as aliases (grimoire-seal, run-intent, next-action).
Cast
| Command | What it does |
|---|---|
devra <spell> [args...] |
Cast a minted spell. Same job snx <spell> has on Magus. Alias: hakodesh devra … / invoke |
Spellbook
| Command | What it does |
|---|---|
devra mint <name> --kind spell|enchantment|ward|combo |
Scaffold into the spellbook (preview; --confirm writes) |
devra spellbook |
List user artifacts (empty at install). Aliases: catalog, book |
devra route "<intent>" |
Rank minted names plus kernel commands (may include procedure candidates) |
Kinds — enchantments, wards, combos
These were never gone. They are first-class kernel commands:
| Command | What it does |
|---|---|
devra enchant bind|lift <name> --settings <path> |
Bind or lift a minted enchantment |
devra ward status|lock|unlock|check <name> |
Fail-closed ward |
devra combo seal|cast|list [name] |
Sealed combo pipelines of minted spells |
Memory
| Command | What it does |
|---|---|
devra remember --intent "…" --step spell:name --source host |
Record a structured execution trace (not an opaque receipt) |
devra recall "<intent>" |
Local deterministic procedure recall |
devra decide "<intent>" [--bind name=value] |
execute / ask_model / ambiguous / blocked / not_found |
devra run "<intent>" [--bind name=value] |
Straight-through execute when decide says execute. Alias: run-intent |
devra next --intent "…" [--bind name=value] |
Next validated procedure step, or a suggestion. Alias: next-action |
devra rites |
List promoted procedures. Alias: procedures |
devra approve <id> --confirm |
Approve a high-risk procedure |
devra promote [--replace] |
Run promotion now (remember already tries after each success) |
devra policy |
Show promotion policy (three-success default is an implementation policy, not SNX history) |
devra metrics |
Recall / straight-through / re-entry / context-crossing stats |
devra benchmark |
Isolated tempfile-home bench (not the operator home) |
Ledger
| Command | What it does |
|---|---|
devra akashic |
Verify HMAC chain; --tail N |
devra grimoire |
Cast ledger stats. grimoire seal --confirm writes the Merkle seal; grimoire verify checks it. Alias: grimoire-seal |
devra protocol |
Print the hakodesh.event/v1 contract descriptor |
--like on an empty book uses the kind template in the wheel. After one spell exists, --like <that> copies its shape.
Every mint and cast emits hakodesh.event/v1. Akashic is SHA-256 linked and HMAC-SHA256 signed. Grimoire is Merkle-sealed with the same chain key. Promoted procedures use that same home key for procedure_mac. The keystore is $HAKODESH_HOME/keys (0700/0600), minted on first seal, never in the wheel.
Notifications default to none. The package does not write LaunchAgents or editor hooks until you mint and bind an enchantment.
SDK
from hakodesh.catalog import catalog
from hakodesh.mint import mint
from hakodesh import events, akashic, grimoire
from hakodesh.enchant import bind, lift
from hakodesh.ward import unlock
from hakodesh.combo import seal, cast
from hakodesh.memory import remember, recall, decide, run_intent, next_action, approve
See docs/PROCEDURAL_MEMORY.md and docs/MIGRATION.md.
Empty book law
A fresh install has zero user spells, enchantments, wards, combos, or promoted procedures. Discovery picks up a file the moment it lands under HAKODESH_HOME/book/.
Release files for hakodesh 0.2.3
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| hakodesh-0.2.3.tar.gz | 57.9 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| hakodesh-0.2.3-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 112.4 kB
Release files / hakodesh-0.2.3.tar.gz
| Download URL | hakodesh-0.2.3.tar.gz |
|---|---|
| Size | 57.9 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
db1c771461974976e406a06efe626b4351a5459aa170f64e49e19f5af8bb0df5
|
|
BLAKE2b-256 checksum How to use checksums |
4163d9b35cbbac8366b751b5724dec69229ea697ae22041207ddbe1201bc2e13
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.6
|
Release files / hakodesh-0.2.3-py3-none-any.whl
| Download URL | hakodesh-0.2.3-py3-none-any.whl |
|---|---|
| Size | 54.5 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a94a1d794dd05f494a504a56061c43283875f7b33818467b38f2c21608ffbfa3
|
|
BLAKE2b-256 checksum How to use checksums |
deb88ca5c4761826a04affaa6af00b465f8c0e4d3c683682d4a1649a023fd483
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/7.0.0 CPython/3.14.6
|