MCP servers tagged memory-safety

3 live MCP servers tagged "memory-safety", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with memory-safety.

live servers

avg trust

Sabba

SABBA - Security Templates CLI & MCP Server for coding agents that prove every finding by running it

MarkMem

A memory layer for chatbots that stores memory as plain markdown in a git repo

CodeSkeptic

Precision-first C/C++ static analyzer on Clang LibTooling — catches the null-derefs, leaks and overflows your compiler waves through, each with a dataflow trace. MCP-ready for the…