SPARDA MCP
SPARDA is a deterministic, offline security gate for AI edits that compiles backend code into a behavior graph to statically prove safety. It detects when an AI edit removes a guard, exposes a route, or breaks an invariant without requiring an API key or cloud account.
Package and access
Local package with source-attributed installation metadata. Koskamo does not execute packages during review.
Checks and signals
Each line is separate evidence, not a trust score.
- Popularity 9 GitHub stars
What you can do with it
- Prove backend safety before deployment
- Detect AI edits that remove security guards
- Verify invariants are not broken by code changes
- Generate shareable proof seals for code safety
Source and maintenance
- Last repository push
- Latest release
- v0.68.0
- Maintenance checked
Packages and installation
Source-provided package data. Koskamo has not executed or live-probed this package.
sparda-mcp 0.71.4
{
"version": "0.71.4",
"transport": "stdio",
"identifier": "sparda-mcp",
"registryType": "npm",
"registryBaseUrl": "https://registry.npmjs.org",
"packageArguments": [
{
"type": "positional",
"value": "dev",
"description": "Start the stdio MCP bridge. Requires `sparda init` to have been run in the working directory first."
}
],
"environmentVariables": [
{
"name": "SPARDA_FLYWHEEL",
"description": "Set to `off` to disable serving proven-stable reads from memory (organs keep learning)."
},
{
"name": "SPARDA_RECORD_SEQUENCES",
"description": "Set to `1` to enable Labs circuit recording (crystallizes repeated tool chains into composite tools)."
}
]
}Tools
Reported by the attributed source; not independently observed by Koskamo.
Maintenance history
Public check and source-refresh events. Editorial and ownership records remain private.
- · repository · passed · metadata changed · updated
- · backfill · recorded · Pre-expansion baseline; unobserved rich metadata remains unknown
Connect from your client
Each snippet configures the same source-provided package; replace placeholders before use.
Cursor
{
"mcpServers": {
"sparda-mcp": {
"command": "npx",
"args": [
"-y",
"sparda-mcp@0.71.4",
"dev"
],
"env": {
"SPARDA_FLYWHEEL": "<YOUR_SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<YOUR_SPARDA_RECORD_SEQUENCES>"
}
}
}
}Cline
{
"mcpServers": {
"sparda-mcp": {
"command": "npx",
"args": [
"-y",
"sparda-mcp@0.71.4",
"dev"
],
"env": {
"SPARDA_FLYWHEEL": "<YOUR_SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<YOUR_SPARDA_RECORD_SEQUENCES>"
}
}
}
}VS Code
{
"servers": {
"sparda-mcp": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"sparda-mcp@0.71.4",
"dev"
],
"env": {
"SPARDA_FLYWHEEL": "<YOUR_SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<YOUR_SPARDA_RECORD_SEQUENCES>"
}
}
}
}Claude Desktop
{
"mcpServers": {
"sparda-mcp": {
"command": "npx",
"args": [
"-y",
"sparda-mcp@0.71.4",
"dev"
],
"env": {
"SPARDA_FLYWHEEL": "<YOUR_SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<YOUR_SPARDA_RECORD_SEQUENCES>"
}
}
}
}Let your agent find its tools
Find servers like SPARDA MCP from your agent. Add Koskamo once to search the index for endpoints, access requirements, and client setup. Public discovery needs no key.