Sparda Security Gate

Version updated for https://github.com/zyx77550/sparda to version v0.67.0.

  • This action is used across all versions by 0 repositories.

Action Type

This is a Composite action.

Go to the GitHub Marketplace to find the latest changes.

Action Summary

SPARDA is a tool that compiles and statically verifies the behavior of AI-written backend services to ensure their correctness before deployment. It provides deterministic proof that routes, guards, invariant checks, and transaction boundaries do not break, without requiring API keys or cloud accounts. The action automates the process of proving the safety of AI-written backends locally and can generate proofs, badges, and coverage reports.

What’s Changed

  • fix(action): pass GitHub Marketplace validations (eca7328)
  • chore(brand): align copy for adoption and prestige (#28) (dea7e2b)
  • Merge pull request #27 from zyx77550/brand/residual-labs-identity (54339ee)
  • brand: Residual Labs identity — add llms.txt + lab footer with contact (f4c8acc)
  • chore(release): 0.66.0 — sparda gate + apocalypse refinements (36d87b7)
  • style: prettier tests/mutation/run.mjs (1e0167c)
  • chore(release): 0.65.0 - apocalypse & docs consolidation (52af039)
  • style: run prettier on init.js (398b620)
  • chore(release): 0.64.0 - monorepo power jump (8db8a5d)
  • chore: bump inner package version to 0.63.0 in server.json (a1dd8a1)