Mandare
Verify an agent fleet's tamper-evident ledger, check budgets, kill a runaway agent. Local-first.
Topics: Security
Connect
Review any command before running it. Package names and URLs come from the server's own registry entry.
Package (npm 0.1.0)
npx -y @mandarelabs/[email protected]
Or add to your MCP client config:
{
"mcpServers": {
"mandare": {
"command": "npx",
"args": [
"-y",
"@mandarelabs/[email protected]"
],
"env": {
"MANDARE_LEDGER_DB": "<YOUR_VALUE>",
"MANDARE_MCP_HOME": "<YOUR_VALUE>",
"MANDARE_WITNESS_URL": "<YOUR_VALUE>",
"MANDARE_WITNESS_PUBLIC_KEY": "<YOUR_VALUE>",
"MANDARE_GATEWAY_URL": "<YOUR_VALUE>",
"MANDARE_MCP_ALLOW_REINSTATE": "<YOUR_VALUE>"
}
}
}
}
MANDARE_LEDGER_DBrequired — Path to the Mandare ledger database this MCP server verifies and kills againstMANDARE_MCP_HOME— Directory where issued artifacts (mandates, credentials, token grant files) are written (default ~/.mandare/mcp)MANDARE_WITNESS_URL— Witness server URL — enables truncation/rewrite checks and certificate exportMANDARE_WITNESS_PUBLIC_KEY— The witness's Ed25519 public key (64 hex chars), obtained out-of-bandMANDARE_GATEWAY_URL— Running gateway base URL — enables the gateway health toolMANDARE_MCP_ALLOW_REINSTATE— Set to 1 to expose the reinstate tool (off by default; kills only close doors)
Related servers
semgrep
Scan code for security vulnerabilities using Semgrep.
ida-pro-mcp
IDA Pro plugin for binary analysis: decompilation, disassembly and automatic malware analysis reports.
GhidraMCP
Autonomous reverse engineering with Ghidra: decompile binaries, rename methods and data, and list methods, classes, imports and exports.
jadx-ai-mcp
JADX decompiler plugin providing live, LLM-assisted reverse engineering.
beelzebub
Honeypot framework for building decoy MCP tools that an agent would never use in normal work, to detect prompt injection and malicious…
SafeDep Vet MCP
Protect your AI agents and IDEs from malicious open-source packages.
Listed in punkpeye/awesome-mcp-servers (MIT)
Data from the Official MCP Registry