TypeScript · Yjs
Context store
Encrypted, local-first storage for your personal context. Data is encrypted at rest with AES-256-GCM. A Yjs sync engine is in place; syncing between your own devices is still in development.
context-store/ ↗Python
Personal agent
The local AI agent and coordination service. Inference runs locally through llama.cpp or Ollama, and you choose the open model. The coordination API is not authenticated yet.
agent/ ↗S-PAL · JSON Schema · Python
Privacy rules language
A machine-readable way to say what can be shared, with whom, for how long and for what use. Its working name is S-PAL (Sovereign Privacy and Access Language), and it is a proposal, not an established standard. Includes the schema, a reference encoder and test vectors.
spec/ ↗Aiken · Cardano
Policy enforcement
Validators that enforce privacy rules on Cardano, deployable to a local devnet. The current demo verifies off-chain and does not use them yet.
contracts/ ↗Compact · TypeScript · Midnight
Zero-knowledge proofs
Proves facts, like being over 21, without revealing the data behind them. Outside Midnight mainnet the service falls back to placeholder proofs, which is what local development uses.
zkp/ ↗TypeScript · W3C DIDs
Identity
You hold one root identity (did:key), encrypted on your device and never shown to services. Every interaction uses a fresh one-time identity, so services cannot link your visits or build a shadow profile. Each one-time identity has a private authorisation record signed by your root, so you can prove it was you when you choose. Midnight Passport is the planned path for anchoring and credentials.
identity/ ↗