Skip to main content
Glama

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault

No arguments

Capabilities

Features and capabilities supported by this server

CapabilityDetails
tools
{
  "listChanged": true
}
logging
{}
prompts
{
  "listChanged": true
}

Tools

Functions exposed to the LLM to take actions

NameDescription
get_healthA

Health check — returns service status and uptime

get_api_prospects

List today's prospects added to the CRM

get_api_users_by_idA

Get a single user by id

sparda_infoA

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/zyx77550/sparda

sparda_list_disabled_toolsA

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

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_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 / NOT_PROVEN), the coverage % it resolved, and every finding with its route. The verdict is the exact word sparda apocalypse and the badge emit; it never over-claims (a low-coverage clean app reads SURFACE/PARTIAL, never a bare PROVEN). Pass route (e.g. "DELETE /orders") to focus the finding list on the route you just edited — the verdict still reflects the whole app.

sparda_confirmA

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

Prompts

Interactive templates invoked by user choice

NameDescription
prove-my-editProve an edit didn't break a guard before you commit — the check an LLM can't do to itself by re-reading its own code.

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/zyx77550/sparda'

If you have feedback or need assistance with the MCP directory API, please join our Discord server