Skip to content

feat: add SPARDA (Proof-Carrying Code for AI Agents) - #138

Open
zakariagharzouli wants to merge 1 commit into
joho:mainfrom
zakariagharzouli:add-sparda
Open

feat: add SPARDA (Proof-Carrying Code for AI Agents)#138
zakariagharzouli wants to merge 1 commit into
joho:mainfrom
zakariagharzouli:add-sparda

feat: add SPARDA for agentic edits verification

85450cb
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs