Browse Skills

Coding Effectively guides writing and refactoring code with correctness, explicit error handling, property-driven design, and clear module organization. Use it when implementing features, reviewing code, or choosing patterns across languages and runtimes.

Defense In Depth validates data at every layer it passes through so invalid values are caught by entry, business, environment, and debug checks. Use it when bad input causes failures deep in execution or tests bypass earlier validation.

Functional Core Imperative Shell separates pure business logic from side effects when writing, refactoring, or reviewing code. It classifies files before creation so runtime code is placed in a pure core or thin shell.

Property-Based Testing helps write tests for serialization, validation, normalization, and pure functions by generating inputs and checking invariants. Use it to choose strong properties like roundtrip or idempotence and match them to a testing library.

Testing With Subagents helps you verify a skill before deployment by running baseline scenarios without it, then pressure-testing the written skill against rationalization and loopholes. Use it when creating or editing rules that agents might try to bypass.

Writing Good Tests helps you write and review tests that verify behavior, wait on real conditions, and use mocks only where they fit. Use it for test philosophy, isolation, and avoiding flaky patterns.

Writing Rust covers house style for writing, reviewing, and modifying Rust code. It focuses on error handling, type-system patterns, serde conventions, testing practices, and module organization.

Abstract Domain Explorer applies abstract interpretation to statically analyze programs and infer invariants, value ranges, and variable relationships. Use it to study loops, check safety properties, and detect issues like division by zero without running code.

Abstract State Analyzer performs static abstract interpretation to infer possible program states, value ranges, and data properties without running code. Use it to find likely runtime errors such as out-of-bounds access, null dereferences, division by zero, type inconsistencies, and integer overflow.

Abstract Trace Summarizer performs abstract interpretation to summarize execution traces and high-level program behavior. Use it to analyze control flow, infer loop invariants, track variable ranges, and summarize possible runtime states without concrete execution.

ACSL Annotation Assistant creates ACSL contracts, loop invariants, assertions, and memory-safety specifications for C/C++ programs. Use it when preparing code for Frama-C or other formal verification workflows.

Assertion Synthesizer generates test assertions by analyzing implementation code, behavior, inputs, outputs, and state changes. Use it when code exists without tests or with incomplete coverage and you need assertions for Python, Java, or JavaScript/TypeScript.