Back to skills
SKILL.md
Assert
ASecurityAssertion patterns reference — guard clauses, preconditions, invariants, and contract programming. Use when writing defensive code, validating inputs, or implementing design-by-contract.
- 12 stars
- 0 votes
- 0 copies
- 3 views
- Added September 7, 2026
Works with
Security analysis
100/100Pro scans all 2 files and shows the line behind each finding
npx -y skills add bytesagain/ai-skills --skill assert --agent claude-codeAre you the author of Assert?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/bytesagain-assert)---
name: "assert"
version: "1.0.0"
description: "Assertion patterns reference — guard clauses, preconditions, invariants, and contract programming. Use when writing defensive code, validating inputs, or implementing design-by-contract."
author: "BytesAgain"
homepage: "https://bytesagain.com"
source: "https://github.com/bytesagain/ai-skills"
tags: [assert, assertion, precondition, invariant, contract, defensive, testing]
category: "devtools"
---
# Assert — Assertion Patterns Reference
Quick-reference skill for assertion techniques, design-by-contract, and defensive programming patterns.
## When to Use
- Writing precondition checks for function inputs
- Implementing class invariants and postconditions
- Choosing between assertions and exceptions
- Applying design-by-contract methodology
- Understanding assertion behavior across languages
## Commands
### `intro`
```bash
scripts/script.sh intro
```
Overview of assertions — purpose, philosophy, and when to use them vs exceptions.
### `preconditions`
```bash
scripts/script.sh preconditions
```
Precondition patterns: validating inputs, guard clauses, and fail-fast design.
### `postconditions`
```bash
scripts/script.sh postconditions
```
Postcondition patterns: validating outputs and return value contracts.
### `invariants`
```bash
scripts/script.sh invariants
```
Class and loop invariants — maintaining consistent state throughout execution.
### `languages`
```bash
scripts/script.sh languages
```
Assertion syntax and behavior in Python, Java, C, JavaScript, Rust, Go.
### `contracts`
```bash
scripts/script.sh contracts
```
Design-by-contract methodology — Bertrand Meyer's approach and modern implementations.
### `antipatterns`
```bash
scripts/script.sh antipatterns
```
Common assertion mistakes: side effects, catching AssertionError, using in production flow.
### `strategies`
```bash
scripts/script.sh strategies
```
Assertion strategies for different contexts: unit tests, production code, APIs, libraries.
### `help`
```bash
scripts/script.sh help
```
### `version`
```bash
scripts/script.sh version
```
---
*Powered by BytesAgain | bytesagain.com | hello@bytesagain.com*
Files in this skill
- SKILL.md
- scripts/script.sh
Attribution
Comments
Loading comments…