MCP Tools
All tools exposed by the MemoryLayer MCP server — collapsed by default, filterable by category.
remember (write), recall (read), code (code intelligence), consolidate (maintenance + ACT-R compose), verify (hallucination gate), prove (Z3 formal proof), domain (axiom management), audit (batch invariant check).Write path — store, update, delete, or bulk-import memories. Routes internally to the right operation based on params. `upsert` is the default and the one to reach for: it dedupes near-duplicates, extracts CALLS/IS-A/IMPORTS triples (so relational queries work later), and returns a contradiction warning if a conflicting fact already exists. `chunk` and `batch` require Pro+.
upsert → { id, namespace, action: "created"|"updated", triples_extracted[]?, contradiction? } | chunk → { parent_id, chunk_ids[], chunk_count } | batch → { stored, results[] } | update/delete → { id, status }
// Upsert (default) — dedupes, extracts triples
remember({
content: "AuthService calls verify_token to validate JWTs.",
namespace: "myproject",
tags: ["auth"]
})
// → { action: "created", triples_extracted: [{ s: "AuthService", p: "CALLS", o: "verify_token" }] }
// Update
remember({ action: "update", id: "abc123", content: "Updated." })
// Delete
remember({ action: "delete", id: "abc123" })
// Chunk a long doc (Pro+)
remember({ action: "chunk", content: "<RFC>", namespace: "docs" })
// Batch (Pro+)
remember({ action: "batch", items: [{ content: "Fact one" }, { content: "Fact two" }] })Rate limits
| Plan | Calls / month | Price |
|---|---|---|
| Free | 1,000 | $0 |
| Pro | 5,000 | $19/mo |
| Pro+ | 10,000 | $49/mo |
| Enterprise | custom | contact |
Limits reset on the 1st of each month (UTC). See the pricing page for per-tool quotas.