About io.github.KSym04/limpet
io.github.KSym04/limpet is an MCP server in the Science category: persistent engineering memory for AI coding agents. Survives refactors, knows when it is stale.
Install
From source
git clone https://github.com/KSym04/limpetThis server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.
Tools (6)
adminindex, status, forget, archive / restore, export / import (guarded), ledger / ledger_reset (the savings receipt), reverify, consolidate. Archive shelves a memory without deleting it: hidden from recall while its staleness keeps tracking the code, restored with its current truthful status, and still exported (flagged) so nothing hidden is ever lost. Export reports `private_withheld` so callers know how many memories stayed local. Reverify closes the verification loop: fresh evidence for a stale verified fact re-stamps its digest, re-binds its anchors to the current code, restores the full verified confidence, and returns it to active; it refuses rather than guesses when an anchor no longer resolves. Consolidate lists clusters of same-anchor, high-overlap memories worth distilling into one entry (via `remember` + `supersedes` links); it never merges anything itself.
Parameters not published.
affectedWhat does my uncommitted diff touch: symbols, memories now at risk, and decisions constraining the code being edited.
Parameters not published.
mapStructural outline of a file or symbol plus every memory attached to it. For a symbol target it also returns `lineage` (ancestors, descendants, callers) with each edge labeled `unique`/`ambiguous`/`unresolved`. Code and knowledge in one answer.
Parameters not published.
recallTask description in, token-budgeted ranked memory pack out. Stale and contradicted items are always flagged, never hidden. Verified facts outrank unverified claims at equal relevance; an item without a `source` field is an unverified claim, not a proof.
Parameters not published.
rememberStore a memory: `fact`, `decision`, `episode`, `insight`, or `intent`. Anchor it to code. Attach evidence to make it verified. A near-identical body on the same anchor is refused (naming the existing id to supersede; `force: true` overrides), and a same-anchor memory asserting a divergent value comes back as `possible_conflicts` so contradictions are caught at write time. `private: true` keeps a memory local (recalled here, withheld from export); `origin` makes writes idempotent for seeding flows.
Parameters not published.
verify_queueVerified facts whose anchored code changed, each with the exact command that originally proved it. Re-run the command and hand the result to `admin {op:"reverify"}`: the queue is no longer a dead end.
Parameters not published.
Ask AI
✦
Ask AI about io.github.KSym04/limpet
Powered by Claude · Grounded in docs
I know everything about io.github.KSym04/limpet. Ask me about installation, configuration, usage, or troubleshooting.
Security checks
6 checks have not been run yet.