Assert

Assertion patterns reference — guard clauses, preconditions, invariants, and contract programming. Use when writing defensive code, validating inputs, or imp...

Security Scan

The skill's code, instructions, and requirements are consistent with its stated purpose (a local, read-only reference for assertion patterns); nothing required or installed is disproportionate or unexpected.

Purpose & Capability

Name/description match the provided content: SKILL.md documents assertion patterns and the included scripts/script.sh prints reference material. No unrelated credentials, binaries, or install steps are requested.

Instruction Scope

Runtime instructions simply invoke scripts/script.sh with a single subcommand (intro, preconditions, etc.). The script prints documentation via here-docs; the SKILL.md does not instruct reading unrelated files, accessing environment secrets, or contacting external endpoints.

Install Mechanism

No install specification; the skill is delivered as an instruction file plus a local shell script. No external downloads, package installs, or archive extraction are requested.

Credentials

The skill declares no required environment variables, credentials, or config paths. The included shell script does not reference credentials or environment secrets in the provided content.

Persistence & Privilege

always is false and the skill does not request elevated or persistent presence. It does not modify other skills or system-wide configuration based on the provided files.

Assessment

This skill appears to be a local, read-only reference implemented as a shell script that prints documentation. If you want maximum assurance, open and inspect scripts/script.sh yourself (it’s included) to verify there are no hidden network calls or commands beyond printing text; otherwise it is reasonable to install and use. Also note that when invoked the agent will run the script locally (normal behavior) — no credentials or external installs are required.

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

scripts/script.sh intro

Overview of assertions — purpose, philosophy, and when to use them vs exceptions.

preconditions

scripts/script.sh preconditions

Precondition patterns: validating inputs, guard clauses, and fail-fast design.

postconditions

scripts/script.sh postconditions

Postcondition patterns: validating outputs and return value contracts.

invariants

scripts/script.sh invariants

Class and loop invariants — maintaining consistent state throughout execution.

languages

scripts/script.sh languages

Assertion syntax and behavior in Python, Java, C, JavaScript, Rust, Go.

contracts

scripts/script.sh contracts

Design-by-contract methodology — Bertrand Meyer's approach and modern implementations.

antipatterns

scripts/script.sh antipatterns

Common assertion mistakes: side effects, catching AssertionError, using in production flow.

strategies

scripts/script.sh strategies

Assertion strategies for different contexts: unit tests, production code, APIs, libraries.

help

scripts/script.sh help

version

scripts/script.sh version

---

Powered by BytesAgain | bytesagain.com | [e-mail]