Download

Skill UI

Browse and discover 5938+ curated skills

All Development Artificial Intelligence Design & Creative Product & Business Data Science Marketing Soft Skills Productivity Engineering Languages

Search Invariants , found 5 results

Default Newest Most Downloaded

Ultra-Granular Context Audit

audit-context-building

trailofbits/skills

Prepares Claude with an ultra-granular, line-by-line code-analysis mode that maps invariants, assumptions, and flows before any vulnerability hunting, keeping context stable and reducing hallucinations during audits.

Ultra-Granular Context Audit

audit-context-building

trailofbits/skills

Prepares Claude with an ultra-granular, line-by-line code-analysis mode that maps invariants, assumptions, and flows before any vulnerability hunting, keeping context stable and reducing hallucinations during audits.

DDD Tactical Patterns

ddd-tactical-patterns

sickn33/antigravity-awesome-skills

Apply DDD tactical patterns through entities, aggregates, value objects, repositories, and domain events while keeping invariants explicit, translating domain rules into executable behavior-rich models.

Spec Compliance Checker

spec-to-code-compliance

trailofbits/skills

Verifies that blockchain code precisely implements documented specifications by comparing logic, invariants, flows, and assumptions against whitepapers or design documents, flagging undocumented behavior, mismatches, and compliance gaps during audit engagements.

Comprehensive Testing Strategies

testing-strategies

rohitg00/awesome-claude-code-toolkit

Document outlines testing strategies such as contract, snapshot, mutation, property-based, integration with containers, and disciplined test organization to help teams design reliable suites that cover behavior, API contracts, and invariants.

1

Language