Symbolia-Assurance / assure-action
git clone https://github.com/Symbolia-Assurance/assure-action.git
v0.1.6 · 1d ago
GitHub Action that sends facts from your PostgreSQL server or HTTP responses to Symbolia's API and reports which obligations hold, fail, or cannot be checked.
Why you might care
Adds a verification step to pull requests, posting per-obligation results as annotations and failing only when an examined obligation is disproven. Use it if you want evidence of what was and was not checked, rather than a known-vulnerability list.
+159
stars, 24h · #219
+~1.1k
stars, 7 days · #213
+~4.8k
stars, 30 days · #216
331
★ total · +1113% this week
1
forks · 0 open issues
Star history (as recorded here)
LanguagePython
License—
Created2026-10-04 (1mo ago)
Last push1d ago
Watchers2
OwnerOrganization
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 today. Star deltas marked ~ are extrapolated from partial history.