From ea153c1c7ab4d3ddb9b72c61fbf77ab582ebed7b Mon Sep 17 00:00:00 2001
From: zyx77550 <zakwissal77@gmail.com>
Date: Mon, 20 Jul 2026 20:56:57 +0200
Subject: [PATCH] feat: add SPARDA for agentic edits verification

---
 data/tools/sparda.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 data/tools/sparda.yml

diff --git a/data/tools/sparda.yml b/data/tools/sparda.yml
new file mode 100644
index 000000000..bbbc3691d
--- /dev/null
+++ b/data/tools/sparda.yml
@@ -0,0 +1,12 @@
+name: SPARDA
+categories:
+  - linter
+tags:
+  - security
+license: MIT
+types:
+  - cli
+source: 'https://github.com/zyx77550/sparda-skills'
+homepage: 'https://github.com/zyx77550/sparda-skills'
+description: >-
+  Connects AI coding agents to the SPARDA Security Gate. Validates agent edits against runtime invariants before applying them (Proof-Carrying Code for Agents).