01 / 08
01 / 08  ·  COVER
ἀλήθεια

alethech

your memory. your file. your next agent.

no API keys· encrypted portable memory· v0.9.5· MIT
instalar skill ↓ navegador ↗ bitácora: memoria verificable ↗ github ↗ pypi ↗ npm ↗
Alethech Portable Memory · Agent Skill

Instala la skill.
Continúa donde te quedaste.

Guarda las decisiones, avances y próximos pasos de tu proyecto en un archivo cifrado .aleth. Llévalo a otro agente o dispositivo sin configurar APIs, cuentas ni servidores.

npx skills add eddyflores100-lang/alethech --skill alethech --global
  1. 01 · GuardaPide «Alethech, guarda este proyecto». El primer guardado crea la memoria cifrada automáticamente.
  2. 02 · LlévalaExporta tu .aleth o guarda una copia cifrada en una carpeta que tu nube ya sincronice.
  3. 03 · ContinúaImporta el archivo en otro agente compatible, desbloquéalo localmente y retoma los próximos pasos.

Historial firmado y verificado, memoria separada por proyecto y contexto con límite de tamaño. Si aparece otra revisión en la carpeta de nube, conserva tu trabajo local y señala el conflicto.

Guía de la skill ↗ Capturar y arrastrar memoria en el navegador ↗ Descargar visor offline ↗

Requiere Python 3.10+ y un agente con soporte de skills y ejecución de scripts. La primera ejecución descarga las dependencias si hacen falta; después funciona sin red. En chats web sin scripts, usa la extensión o el visor. La contraseña se introduce localmente, nunca en el chat.

¿Lo quieres en un chat web? Instala la extensión o usa el visor offline.

Descargar extensión v0.9.5 · Descargar visor HTML independiente

  1. Extrae el ZIP. Abre chrome://extensions o edge://extensions, activa el modo desarrollador y carga la carpeta descomprimida.
  2. Abre tu chat y pulsa el icono Alethech o su cerebro flotante para capturar el contenido cargado.
  3. Revisa la captura en la interfaz aislada de la extensión, elige una contraseña y descarga tu .aleth. Guarda la recuperación por separado.
  4. En el destino, arrastra el archivo a la extensión o al visor, desbloquéalo y comparte solo el contexto que elijas.

No recupera conversaciones no cargadas ni memorias privadas del proveedor. Ver guía y límites ↗

02 / 08  ·  WHAT IS ALETHECH
what is alethech

definition + the property

alethech gives AI agents portable encrypted memory, backed by a cryptographically verifiable history.

It lets an agent sign its memory commits with Ed25519, link them in a hash-linked DAG, rotate keys without losing identity, and prove to a third party that its memory was not tampered with.

The protocol does NOT prove that the agent's claims are true — only that they were signed by the identity that claims them.

the protocol does NOT prove claims are true — only that they were signed.

03 / 08  ·  HOW IT WORKS
how it works

dag + six steps

cutoff / key rotation GENESIS key-000 C1 key-000 cutoff_head C2 key-001 post-rotation C3 key-002 rejected D key-001
provenance edge rejected ancestry cutoff_head
  1. alethech init generates an Ed25519 keypair + identity derived from public key
  2. alethech commit --content memory.json signs the content + links to DAG parent
  3. alethech verify checks signatures, DAG integrity, identity binding, reachability
  4. alethech key rotate revokes old key with cutoff_head, grants new key, both signed by root
  5. alethech export --output dir/ creates portable signed bundle
  6. alethech import --input dir/ verifies bundle + writes atomically (target untouched on failure)
04 / 08  ·  MATH + GUARANTEES
the math + the guarantees

equations, then the checklist

commit_id = sha256(JCS(object − {commit_id, signature}))

content-addressed id over the canonicalized object, with the id and signature fields removed.

signature = Ed25519_sk(JCS(object + commit_id))

deterministic Ed25519 signature over the canonical object plus its freshly computed commit_id.

agent_id = did:alethech: + b32(sha256(JCS(pk))[:16])

identity derives from the root public key — operational keys rotate, the agent_id does not.

C ∈ ancestry(cutoff_head) ⟹ VALID_HISTORICAL

a commit is valid iff its ancestry is reachable from the last pre-rotation head.

the guarantees · ✓ does · ✗ does not
  • ✓signature verifies against declared public key
  • ✓commit_id matches SHA-256 of canonical JSON
  • ✓agent_id derives from public key (not declared)
  • ✓key rotation preserves identity (root-bound)
  • ✓revoked key commits checked against ancestry(cutoff_head)
  • ✓checkpoint head must be ancestor of current HEAD
  • ✓import is atomic (verify-then-write, target untouched on failure)
  • ✗does NOT prove content truth
  • ✗does NOT encrypt at rest
  • ✗does NOT detect rollback without external checkpoint
  • ✗does NOT delegate permissions between agents
  • ✗does NOT call any LLM
05 / 08  ·  VERDICTS · ROTATION · ROLLBACK
verdicts, rotation, rollback

three faces of one cutoff

verdict VALID_HISTORICAL C ∈ ancestry(cutoff_head)
verdict NOT_IN_PROVEN_PRE_ROTATION_HISTORY C ∉ ancestry(cutoff_head)
critical: the verifier does NOT claim to prove WHEN the commit was created — only that it is reachable from a verified head. Membership, not timing.
key rotation — revoke the key, keep the identity
key-001 revoked
cutoff_head
key-002 active

agent_id derives from the root, not the operational key. Keys can be revoked and replaced; the identity they attest to does not move. Revocation is permanent and visible — a struck key still exists in the DAG as a historical signer, but no post-cutoff commit signed by it is accepted.

anti-rollback — sequence is the authority

forward monotonic sequence — accepted:

10→ 11→ 12→ 13→ 14→ 15 [ ACCEPTED ]

stale sequence — rejected as rollback:

5 [ REJECTED — rollback ]

the system clock is NOT the authority — sequence is. Time lies; monotonic counters cannot be wound back without breaking the chain. Two commits cannot share a sequence number; the counter only moves forward.

06 / 08  ·  LIVE TERMINAL
try it — real crypto in your browser

live terminal



    
the loop, typed live when this section enters view: init → commit → rotate → verify.


    
    

      

        
        alethech — interactive terminal
        real crypto · web crypto api · ed25519
      

      

        
↳ live from github.com/eddyflores100-lang/alethech

        

          $
          
            
          
          
        

      

    


    
type 'help' or 'alethech init' to begin · arrow keys navigate history


    
  







  
07 / 08  ·  HONESTY + STATS

  

    

      honesty + stats
      
what it refuses + the numbers

    


    

      
      

        what it does NOT do
        
    
          
  • NOT · prove truth
    • 
          
  • NOT · rollback without checkpoint
    • 
          
  • NOT · encrypt the raw protocol working store
    • 
          
  • NOT · delegate permissions
    • 
          
  • NOT · call any LLM
    • 
          
  • NOT · prove physical time
    • 
        

      


      
      

        by the numbers
        

          
Ed25519
signed history

          
SHA-256
content addressing

          
JCS
canonical JSON

          
.aleth
encrypted portable container

          
local
file verification

          
MIT
license

          
0.9.5
extension download