Theorem And Claim Audit
Helps with security tasks.
npx skills add https://github.com/jurgendn/agent-skills --skill theorem-and-claim-audit| Installs | 1 |
|---|---|
| Repository | jurgendn/agent-skills ↗ |
Related skills
Azure ComplianceRun Azure best-practice and compliance scans with azqr and audit Key Vault keys, secrets, and certificates before or after shipping workloads.396k1.2k
Openclaw Secure Linux CloudDeploy OpenClaw on a hardened Linux cloud VPS with rootless Podman and SSH-tunneled control UI access.221k61Entra Agent IdProvision Microsoft Entra Agent Identity blueprints and per-instance agent principals, then configure OAuth fmi_path and OBO token exchange for production AI agents.121k1.2k
Firebase Security Rules AuditorRed-team Firestore security rules after edits so solo builders catch update bypasses and authority bugs before production.48.9k345Firestore Security Rules AuditorRed-team Firestore security rules after edits so create/update gaps, authority spoofing, and abuse paths get caught before production.20.3k345
Skill VetterRun a conservative, manual-first security checklist on OpenClaw SKILL.md packages before installing from ClawHub, GitHub, or shared files.19.6k62Securityappsec