広告掲載
MCP.so
ログイン

Sparda MCP Server

@zakariagharzouli

リポジトリ

基本情報

カテゴリ

その他

ライセンス

NOASSERTION

作者

zakariagharzouli

Sparda MCP Server について

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

Sparda MCP Server の設定

以下の設定を使って、このサーバーを MCP 対応クライアントに追加してください。

{
  "mcpServers": {
    "sparda": {
      "command": "npx",
      "args": [
        "sparda-mcp",
        "apocalypse",
        "#",
        "prove",
        "the",
        "tree",
        "is",
        "safe",
        "to",
        "deploy",
        "—",
        "exit",
        "1",
        "on",
        "any",
        "real",
        "risk,",
        "or",
        "on",
        "an",
        "unverified",
        "premise"
      ]
    }
  }
}

Sparda MCP Server のツール

ツール一覧はまだありません

この掲載には表示できるツール一覧がまだありません。サーバーにツールがないという意味ではありません。対応機能はプロジェクトのドキュメントをご確認ください。

上のボタンで一時的なサンドボックスでこのサーバーを実行し、ツール一覧を取得できます。

概要

What is Sparda?

AI writes. SPARDA proves. A deterministic, offline gate that catches when an AI edit removes a guard, exposes a route, or breaks an invariant — no API key, right in the agent edit loop.

How to use Sparda?

The README includes setup instructions such as npx sparda-mcp apocalypse # prove the tree is safe to deploy — exit 1 on any real risk, or on an unverified premise.

Key features of Sparda

  • Unguarded Mutation (Critical): Flags any mutation path that does not cross a security guard
  • Aggregate Member Bypass (Info): Flags mutating a member table directly without routing through the aggregate root
  • Deletion of any security guard (Critical)
  • Deletion of a database SQL invariant (High)
  • API blast radius expansion (Medium)

Use cases of Sparda

  • Connect an MCP-compatible client to this repository's service.
  • Review the README-backed setup before enabling it in production.

よくある質問

1

Where is the source code for Sparda?

The source code is linked from the repository URL on this page.

2

Does Sparda include a standard MCP config?

If the README contains a parseable MCP configuration block, it is shown in the Config tab.

コメント

「その他」の他のコンテンツ

Reactive Resume

amruthpillai

A one-of-a-kind resume builder that keeps your privacy in mind. Completely secure, customizable, portable, open-source and free forever. Try it out today!

39.5K

The Living Bread

The Living Bread

A free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w

Figs, Relationship Expert

Figs O'Sullivan, LMFT

Couples therapist Figs O'Sullivan (LMFT, 17 years, endorsed by Sue Johnson, creator of EFT) inside your AI. Ask relationship questions answered from his clinical writing, name the pattern in a fight, get a three-step rep

DeepMark

DeepMark helps teachers deliver rapid, consistent marking with meaningful feedback for every student — in a fraction of the time. What once took a week, now takes one free period.

Handl

Handl speaks the Model Context Protocol. Your whole billing operation — projects, invoices, clients, reports, approvals — as tools any AI assistant can call, inside your autonomy rules.

広告掲載