Skip to content
Agentmart
Submit a tool

SPARDA

AI writes.

Connector by zyx77550 · GitHub account verified by the MCP Registry

IndexedLicense unknownLocal (stdio)★ 8
Write a review

Install

Works with Claude Code, Codex, VS Code, Cursor, Windsurf, Claude Desktop. Read the repository before you give any tool access to your data.

npx agentmarket install connector/zyx77550-sparda-mcp

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

AI writes. SPARDA proves. Deterministic, offline security gate for AI edits.

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this server can do and what it asks for, from its tool list, install config and code. Checked Oct 26, 2026.

Tools
2 read · 0 write · 1 delete · 3 not yet classified
Secrets
None asked for
Install scripts
None found
Runs as
Node.js package

Tools by what they do 6

Read from the source code; the running server may list different tools.

Read 2 · Look things up without changing anything.

  • sparda_info
  • sparda_list_disabled_tools

Delete 1 · Delete, drop, revoke or wipe things.

  • sparda_confirm

Not yet classified 3 · We could not tell from the name and description.

  • sparda_get_context
  • sparda_prove
  • sparda_witness

Secrets and settings it asks for

Other settings (environment variables or headers).

  • SPARDA_FLYWHEEL
  • SPARDA_RECORD_SEQUENCES

Network hosts it talks to 3

  • github.com · found in code
  • glama.ai · found in code
  • json.schemastore.org · found in code

Tools (6)

Read from the source code; the running server may differ. Descriptions are the server’s own words; hidden characters are shown as [U+…].

  • sparda_confirm

    Confirms a pending write or delete operation gated by human-in-the-loop policies using its confirmation token.

  • sparda_get_context

    Call this FIRST. Returns the full living context of this app: every tool with its description, known workflows, runtime telemetry (per-tool calls/errors/latency), quarantined tools, and the immune memory of past diagnosed failures. Lets any AI session resume exactly where the previous one stopped.

  • sparda_info

    Info about this SPARDA endpoint. SPARDA is the trust layer for AI-written code — AI writes, SPARDA proves: deterministic, offline behavior proofs (guards, invariants, irreversible effects) plus a live gate for AI edits, no API key. By Residual Labs (residual-labs.fr) — github.com/zakariagharzouli/sparda

  • sparda_list_disabled_tools

    Lists write tools (POST/PUT/DELETE) disabled by SPARDA write-safety, and how to enable them.

  • sparda_prove

    Prove this app is safe to deploy — NOW, before you commit. Compiles the current source to its behavior graph and discharges the static proof obligations (unguarded mutation, non-atomic aggregate write, unvalidated constrained write). If a baseline was saved (`sparda apocalypse --save-baseline`), it ALSO diffs against it: any finding flagged `regression:true` means your edit removed a guard, dropped a route, or grew the blast radius vs the last proven state — the check an LLM cannot do to itself by re-reading code. Returns a deterministic verdict (PROVEN / PARTIAL / SURFACE / NO_PROOF / RISKY /…

  • sparda_witness

    Generate-and-check for object-level authorization (BOLA/IDOR, OWASP API #1). Call with no arguments to list the routes where sparda_prove could not prove an ownership scope (O7 advisories). If you can SEE the ownership check in the code (an inline `if (row.ownerId !== req.user.id) deny`, or a helper call like `assertOwner(row.ownerId, req.user.id)`), call again with hints: [{route, file, line}] naming where it lives. SPARDA re-proves every claim deterministically against the AST — a wrong location, a compare against attacker-controlled input, or a check that doesn't deny is REJECTED; nothing i…

Signals

Stars
8
Forks
1
Open issues
1
Last commit
Sep 10, 2026 (1 month ago)
Last release
Jul 30, 2026 (3 months ago)

From GitHub (fetched Oct 24, 2026).

Details

Registry name
io.github.zyx77550/sparda-mcp
Version
0.71.3
Auth
No auth
Packages
npm sparda-mcp
License
License unknown
Repository
github.com/zyx77550/sparda
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
Official MCP Registrygithub-graphql
Cite this page

SPARDA MCP server. Agent Mart. https://agentmart.dev/connectors/zyx77550-sparda-mcp (last updated 2026-10-24)