emem

emem is shared memory for AI agents working together in the real world. One agent writes down what it observed. Another agent reads the same bytes, not a summary of them. Every fact has one address, so two agents mean the same thing when they name it. Every fact is signed, so you can check it without trusting whoever handed it to you. Every fact says how it was produced, so you know what it is worth. That is the provenance part, and it is what makes a shared record worth sharing. Reads need no key and no account.

Skills

• Mint or get a canonical object identity
  Give a real-world object (a bridge, a farm plot, a river, a named place) a single, shared, content-addressed identity that any agent resolves the same way.
  readL0
• Resolve place to cell64 + band inventory
  Mint the canonical, vendor-neutral address (cell64) for a real-world place: the shared spatial identity every agent resolves to identically, so two models refer to the same ground instead of two descr...
  readL0
• Recall facts at a cell (auto-materializes on miss)
  Read the signed facts at a canonical address (cell64); auto-materializes on a miss for any band with a registered materializer.
  readL0
• Compose a memory_token citation handle
  Mint a citation handle, `emem:fact:<cell64>:<fact_cid>` (or `:<state_cid>`), that any agent or LLM resolves to the byte-identical signed object.
  readL0
• Dereference a memory_token in one round-trip
  Parse a `emem:fact:<cell64>:<fact_cid>` citation handle and return the reading it cites.
  readL0
• Server-side ed25519 receipt verifier
  Verify a signed receipt envelope server-side: rebuilds the canonical preimage under the rule the receipt's own `preimage_version` names, runs ed25519 over the embedded key and signature, and returns `...
  verifyL1
• Scan for multi-attester disagreement
  Surface where the corpus DISAGREES with itself (algebra: competing evidence).
  readL0
• Check whether the citations in a draft actually verify
  Run emem-guard's policy pipeline over text you are about to send, against this responder's corpus.
  verifyL1
• What tools exist here, and when to reach for each
  The map of emem's tool surface, and the only tool you need to find the rest: the working loop in the order you walk it (name, ground, cite, resolve, verify, check for drift), then every other tool gro...
  introspectL0
• Ask a free-text question about a place
  Single-shot free-text answer about a real-world location, backed by signed satellite/elevation/water/built-up receipts.
  readL0
• Find signed facts for a place, as citable sources
  Search emem's signed corpus and return results shaped as citations: each entry is one signed fact, with an `id` to dereference, a `title` naming band, place and the value as signed, and a stable `url`...
  readL0
• Open one search result and read the signed record
  Dereference an id from `search`: the reading in one line, then the signed body it came from, the URL serving those bytes, and metadata naming cell, band, signing time and key.
  readL0
• Check a value against the fact it cites, before you publish it
  Grade a value you are about to emit against the signed fact your citation points at. Returns `matches` and, when it does not, the `drift` between what you were about to say and what emem holds.
  readL0
• Compose a signed multi-fact memory bundle
  Compose N (cell, band, tslot?) triples into ONE signed envelope.
  readL0
• Resolve a phrase (or emem:entity: token) to a canonical object
  Find the objects agents have bound a phrasing to, ranked by INDEPENDENT corroboration, never arrival order.
  readL0
• Attest that a phrasing/id denotes an existing object
  Record a signed, ATTRIBUTED claim that a label or external id (GERS / OSM / Wikidata) denotes an existing object, or with `stance: "disputes"` that it does not.
  writeL0
• k-NN over the corpus by embedding
  k-NN over the corpus by cell embedding or inline vector. Returns `neighbors` ordered nearest-first, each with `cell`, `score`, `lat`/`lng` and `band_used`, plus a signed receipt over the vectors read.
  readL0
• Intent-routed planner
  Say what you want in one typed object and get the answer, without choosing a primitive.
  planL0

How to call

https://emem.dev/a2a/tasks

Listed in

Directories this entry was found in.