Madar runs on your own machine — the client starts it, so there is no endpoint to ping. 459 installs a week from npm. Last commit 29 Oct 2026.
Authenticated local evidence paths for JavaScript and TypeScript coding agents.
What the code does
We read the source, 3 d ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
const child = spawn(command.file, command.args, { shell: false, stdio: ['ignore', 'pipe', 'pipe'] })
delete node.source_expand_handle
const proof = verified.get(node)
if (++attempts > MAX_PARTIAL_OWNER_ATTEMPTS || !proof || typeof node.node_id !== 'string' || typeof node.label !== 'string'
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Connect this server
This server runs on your own machine — install it with the package manager and the client starts it for you. Package name taken from the official registry entry.
claude mcp add madar -- npx -y @lubab/madar{
"mcpServers": {
"madar": {
"command": "npx",
"args": [
"-y",
"@lubab/madar"
]
}
}
}[mcp_servers.madar]
command = "npx"
args = ["-y", "@lubab/madar"]{
"mcpServers": {
"madar": {
"command": "npx",
"args": [
"-y",
"@lubab/madar"
]
}
}
}{
"servers": {
"madar": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"@lubab/madar"
]
}
}
}Alternatives to Madar
same job, measured the same wayLocal context and engineering evidence for AI coding agents.
Editor-grade TypeScript, Markdown, and JSON intelligence for coding agents.
Predicts where JavaScript and TypeScript code will fail at runtime, for coding agents.
TypeScript SDK for mutual ZKP authentication between humans and AI agents.
Evidence-gated verification, selection, and measurement MCP for coding agents.
TypeScript inferred types, completions and type errors for AI coding agents
Fast, bounded, read-only Git evidence for local AI coding agents.
TypeScript inferred types, completions and type errors for AI coding agents
Madar — questions
Answers built from our own checks of this server.