The full upstream README, mirrored here for reference. Install config, tool schemas, adoption signals, and an original overview live on the Semahash listing page.
Content-addressed semantics for multi-agent coordination.
Sema is a content-addressed reference system for reasoning and communication. Participants encode and hash information under an agreed representation, then reuse the content address as a verifiable reference, optionally paired with a human-readable handle. Matching full references establishes identity of the resolved hashed content; semantic equivalence, correctness, and enforcement remain separate questions.
Web: semahash.org · Discord: Join
Add to any MCP client (Claude Code, Cursor, VS Code, Windsurf, Claude Desktop):
Or via Claude Code CLI:
This uses uv to download, install, and run sema in an isolated environment on first invocation, then caches it for subsequent calls.
Sema also ships as a Claude Code plugin — MCP server plus a skill that teaches the agent the search/resolve/mint/handshake workflow:
This gives you the MCP server and the sema-usage skill (auto-loaded), which teaches when to search vs mint, how to embed handles in text, and how to verify meaning at boundaries. The skill is a Claude Code convenience — the MCP server works with any client.
For local development:
For CLI-only use (no MCP server):
Already covered above via the JSON config or pip install path. For development against this repo:
Your agent now has access to sema_search, sema_lookup, sema_handshake, and 9 more tools. Any MCP-compatible client works — Sema exposes a standard stdio server.
Verify it works — ask your agent: "Search sema for coordination patterns and handshake on StateLock"
Sema exposes a standard MCP stdio server — any MCP-compatible client works, including OpenClaw (openclaw mcp set sema '{"command":"uvx","args":["--from","semahash[mcp]","sema","mcp"]}').
Build a private registry from scratch — no PR or maintainer in the loop:
Subsequent sema commands (including sema mcp) read from your private
registry. (SEMA_DB_PATH, if set, overrides sema use.) See
CONTRIBUTING.md for the canonical
contribution path and docs/specification/versioning.md for the
refinement and supersession policy.
Package a project database as a verified, standalone library release:
Publish the generated library.json and versioned ZIP as assets on the
corresponding published GitHub Release. Consumers install the Release asset URL
for library.json—not the repository URL or a branch:
It installs one verified snapshot at a time rather than merging vocabularies;
the bundled vocabulary remains the offline default. Use sema update mylib to
follow the installed library's recorded release pointer. See
Publishing and Installing Vocabulary Libraries for
the complete DeFi authoring, dependency-closure, packaging, GitHub Release, and
update workflow.
See the handshake in action: matching hashes PROCEED, mismatched hashes HALT, and unknown patterns HALT. Cooperative mode accepts short prefixes for drift detection; strict mode requires the full hash. Takes 2 seconds.
Take any concept (a coordination protocol, a reasoning pattern, a trust mechanism), express it in canonical form, hash it. That hash IS the word. Change one byte in the definition, get a different word.
This is the Anti-Postel principle: strict mode proceeds only on full-hash identity; cooperative mode uses compact prefixes as a non-adversarial drift signal. Mismatches fail closed in both modes.
The bundled vocabulary spans 4 layers:
Each pattern is a content-addressed behavioral definition. Concrete cards may add machine-verifiable contracts, invariants, failure modes, parameters, and typed dependencies where those fields are identity-defining.
When running as an MCP server (sema mcp), these tools are available:
| Tool | Description |
|---|---|
sema_search | Search patterns by name, description, or meaning |
sema_lookup | Get a pattern by its reference (e.g., StateLock#c9c2) |
sema_resolve | Get a pattern with dependencies expanded |
sema_handshake | Fail-closed semantic verification between agents |
sema_mint | Create a new pattern (validate, hash, add to vocabulary) |
sema_propose_context | Compute a context digest for a multi-agent definition set (drift detection) |
sema_verify_context | Verify a context proposal from another agent |
sema_tree | Browse vocabulary by layer and category |
sema_validate | Validate a pattern JSON for correctness |
sema_stats | Vocabulary statistics |
sema_graph_skeleton | Ultra-minimal graph overview (~150 tokens) |
sema_reset_session | Clear session cache so searches return full results again |
Interactive 3D graph visualization, pattern browser, and search. Built with React + Three.js.
The experiments/ directory contains reproducible evaluations of Sema's
claims and implementation boundaries.
The public v0.3.0 to v0.4.0 reconstruction experiment checks whether the
current graph and hash-cascade algorithm can rebuild a target vocabulary from
an earlier release. It compares both aggregate roots, semantic pattern content,
the logical dependency graph, unhashed metadata, and the complete normalized
read model rather than treating root equality as complete release equality.
It also demonstrates the safe reconstruction path: integrate the delta into a
complete staged card snapshot, compile a fresh database, verify the result, and
only then activate it.
The experiment and its expected results are documented in
experiments/delta_reconstruction/README.md.
Small synthetic versions of its addition, removal, rename, cascade, metadata,
and failure cases run in the regular test suite.
The controlled multi-agent design challenge compares three conditions:
| Condition | Sema | Turns | Outcome |
|---|---|---|---|
| A: Natural language only | No | 4 | Design rejected |
| B: Sema vocabulary | Yes | 11 | SAD Engine approved |
| C: Sema + protocol | Yes | 25 | SAD Engine with exhaustive vetting |
Agents with Sema patterns produced physics-grounded designs that survived adversarial scrutiny. Agents without Sema produced shallow designs that failed safety review.
To reproduce:
See experiments/sema_design_challenge/README.md for details.
Sema's handshake decision kernel and canonicalization type tags have a small
Lean 4 proof suite. The handshake supports cooperative prefix matching for
ordinary drift detection and strict full-hash verification for proof-grade
identity; the proofs state each guarantee separately. The encoding proof
establishes pre-hash domain separation, while Python conformance tests connect
the models to production. See
verification/README.md for the proven theorems,
trusted-computing-base assumptions, and explicit limits of the claim.
Sema gives your agents shared semantic memory — a vocabulary of cognitive patterns with content-addressed identity. Understanding Graph gives them shared episodic memory — the actual thinking trail behind a decision. They compose:
With both installed, an agent can:
StateLock#c9c2) so the meaning of the primitive can never drift.graph_semantic_search to find all past graph nodes that reference a given sema pattern — hash-stable history, not keyword matching.sema_handshake before writing a decision that depends on a shared concept; if it returns HALT, the agent writes a tension node instead and stops, preventing silent divergence.Full walkthrough: docs/guides/understanding-graph.md
Want to add patterns, improve existing ones, or host the frontend locally? See CONTRIBUTING.md.
See CITATION.cff for the machine-readable version (GitHub
renders a "Cite this repository" button from it).
Sema ships no executable code — it's a library of pattern definitions (handles, mechanisms, invariants, dependency graphs). The MCP server hands patterns to clients as data; it does not execute the behaviors they describe.
Intended use: reasoning and reference. Patterns are thinking tools — named concepts agents can search, resolve, and handshake on to reason about coordination, risk, and procedure. See docs/manuals/vocabulary-design.md for the intent behind each pattern and the design choices.
Running patterns as executable recipes is untested. Many patterns describe procedures an agent could step through. That path is still a research phase — the mechanism text has not been validated end-to-end, and we make no claims about safety when a pattern is executed rather than referenced. If you go this route, run the agent's execution step in a sandboxed environment. Patterns with known risks carry a caution field in their metadata; absence of that flag means the pattern has not been classified as risky, not that it has been certified safe.
The long-term goal is cryptographically enforced safety constraints on agent-to-agent communication — an active research direction.
Sema is dual-licensed:
src/, web/, experiments/, scripts/, and the
package config) — MIT. Self-host it, fork it, build commercial
products on top of it.data/, the documentation in docs/,
the academic paper in paper/, and the prose displayed on
semahash.org) —
CC BY 4.0. Reuse the patterns and prose anywhere, for any
purpose including commercial, as long as you attribute Henrik Westerberg.For academic citation, see CITATION.cff. GitHub renders this
as a "Cite this repository" button on the project page that generates APA and
BibTeX automatically.