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).