Detects race conditions, deadlocks, TOCTOU, atomicity violations, and async/thread-safety bugs across 7 languages with race-detector / model-checker integration.
EnglishData Subject Access Request (DSAR) handler — identity verification, scope assessment, data discovery, machine-readable export, signed deletion attestation. Tracks GDPR Article 12 (one month / extendable three) and California Consumer Privacy Act / California Privacy Rights Act (45 days / extendable 90) clocks. Writes per-request evidence to .ctoc/dsar/ .yaml.
EnglishGenerate Privacy Policy + Terms of Service + Cookie Policy + DPA + AUP templates from a small fact set (project name, domain, billing model, data collected, AI usage, jurisdictions).
EnglishDetects performance regressions via budgets, benchmarks, bundle size, and memory profiling at stage transitions.
EnglishStatic type analysis — strict-mode type checking across 7 languages, with parse-don't-validate and newtype/branded-type enforcement.
EnglishWorst-Case Execution Time analysis — produces a tight, safe upper bound on the execution time of a real-time task including cache, pipeline, branch-prediction and bus-contention effects, and reconciles the bound against the declared per-task time budget.
English
AGENT SKILLS ATLASIncludes Concurrency Checker, Dsar Handler, Legal Scaffold, and other workflows.
Claude Code
Codex
Cursor
GitHub Copilot
Gemini CLISupported by the Atlas install prompt. Skill-specific requirements vary.
Pack stats
What’s included
Concurrency Checker
Detects race conditions, deadlocks, TOCTOU, atomicity violations, and async/thread-safety bugs across 7 languages with race-detector / model-checker integration.
Dsar Handler
Data Subject Access Request (DSAR) handler — identity verification, scope assessment, data discovery, machine-readable export, signed deletion attestation. Tracks GDPR Article 12 (one month / extendable three) and California Consumer Privacy Act / California Privacy Rights Act (45 days / extendable 90) clocks. Writes per-request evidence to .ctoc/dsar/ .yaml.
Legal Scaffold
Generate Privacy Policy + Terms of Service + Cookie Policy + DPA + AUP templates from a small fact set (project name, domain, billing model, data collected, AI usage, jurisdictions).
Performance Validator
Detects performance regressions via budgets, benchmarks, bundle size, and memory profiling at stage transitions.
Type Checker
Static type analysis — strict-mode type checking across 7 languages, with parse-don't-validate and newtype/branded-type enforcement.
Wcet Budget
Worst-Case Execution Time analysis — produces a tight, safe upper bound on the execution time of a real-time task including cache, pipeline, branch-prediction and bus-contention effects, and reconciles the bound against the declared per-task time budget.
Quick start
- Choose your skills. Select individual skills above, or choose the entire pack.
- Copy the install prompt. Use Copy install prompt above the list.
- Send it to your agent. Paste into your coding agent’s chat. Your agent reviews the source and guides the setup.
Try it with your agent
After installation, start with a request like:
Use the Concurrency Checker skill to help with my task.
Ask me for the context you need before getting started.Requirements & license
- A coding agent that can access your project files and install skills.
- Your agent checks each skill’s instructions, dependencies, and permissions during setup.
- License details are not provided in these listings. Check the author’s terms before using the skills.