Is the Mars Proj Verifiable Memory MCP server down?

mcp-registry/io.github.mars-proj/verifiable-memory

unknown
Last checked —

As of —, the Mars Proj Verifiable Memory MCP server is unknown.

uptime (30d checks)
—
checks observed
—
outages (90d)
—
tools
13

Memory for AI agents that can't hallucinate — cited or abstains, provable forget, deterministic.

No hosted endpoint — run locally over stdio from the pypi package `verifiable-memory-mcp` (e.g. `pipx run verifiable-memory-mcp`).

Tools (13)

Compare: most reliable knowledge servers

Know before your agent calls it

Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.

Add Glimind — free, no signup:

Add to Cursor Add to VS Code

Claude Code

claude mcp add --transport http glimind https://glimind.com/mcp

Claude Desktop · Windsurf · Cline (mcpServers JSON)

{
  "mcpServers": {
    "glimind": {
      "type": "http",
      "url": "https://glimind.com/mcp"
    }
  }
}

FAQ

Is the Mars Proj Verifiable Memory MCP server down right now?

As of —, the Mars Proj Verifiable Memory MCP server is unknown.

How many tools does Mars Proj Verifiable Memory MCP server provide?

Mars Proj Verifiable Memory MCP server advertises 13 tools, including clear, contradictions, export_state, forget, get_merkle_root.

How do I install Mars Proj Verifiable Memory MCP server?

No hosted endpoint — run locally over stdio from the pypi package `verifiable-memory-mcp` (e.g. `pipx run verifiable-memory-mcp`).

Operator of Mars Proj Verifiable Memory MCP server?

Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above.

Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.