Skip to content
Agentmart
Submit a tool

correct-by-design

A way of writing code where invalid data cannot exist past the point it enters, every change goes back through the checks, and every failure is loud, early…

Skill by jptalusan

IndexedLicense unknown
Write a review

Install

Works with Claude Code, Claude apps, Codex, Cursor, Gemini CLI, GitHub Copilot, VS Code, OpenCode, Goose, Windsurf. Read the repository before you give any tool access to your data.

npx agentmarket install skill/jptalusan-correct-by-design

Asks which of your tools to add it to (Claude Code, Codex, Cursor, VS Code, Windsurf, Gemini CLI, Claude Desktop) and shows the change first. See https://agentmart.dev/cli.

Get the weekly diff

The weekly diff: one email a week with new agent tools, notable updates and grade changes, plus security alerts for tools you follow. Double opt-in, one-click unsubscribe.

We use your email only for this newsletter. Privacy

About

A way of writing code where invalid data cannot exist past the point it enters, every change goes back through the checks, and every failure is loud, early and names its cause. Use when designing or writing any non-trivial code in any language, such as a new module, a data loader, an adapter, a writer, config handling, or a pipeline. Pairs with simple-code, which decides how little to write. Trigger on "correct by design", "correct by construction", "make it robust", "validate the inputs", "make invalid states impossible", or when starting a new repo.

Use cases: design, data, writing

Reviews

Write a review

No reviews yet. Installed it? Reviews come from verified installers only. How reviews work

Permissions

What this skill can do and what it asks for, from its SKILL.md. Checked Oct 25, 2026.

Tools
No tools found
Secrets
None asked for
Install scripts
None found

Network hosts it talks to 1

  • codeload.github.com · found in install command

Files it touches

  • ~/.claude/skills/correct-by-design

What's inside

Skill name
correct-by-design
Description
A way of writing code where invalid data cannot exist past the point it enters, every change goes back through the checks, and every failure is loud, early and names its cause. Use when designing or writing any non-trivial code in any language, such as a new module, a data loader, an adapter, a writer, config handling, or a pipeline. Pairs with simple-code, which decides how little to write. Trigger on "correct by design", "correct by construction", "make it robust", "validate the inputs", "make invalid states impossible", or when starting a new repo.
License
unknown
Instructions
65 lines in SKILL.md · view on GitHub

Files (1)

  • SKILL.md

The license isn't open source, so the instructions aren't shown here. Read SKILL.md on GitHub

More from jptalusan/llm-conf

Signals

Stars
0
Forks
0
Open issues
0
Last commit (this folder)
Oct 19, 2026 (9 days ago)

From GitHub (fetched Oct 24, 2026).

Details

License
License unknown
Repository
github.com/jptalusan/llm-conf
First seen
Oct 24, 2026
Last checked
Oct 24, 2026
Source
GitHubgithub-graphql

More from jptalusan

Cite this page

correct-by-design skill. Agent Mart. https://agentmart.dev/skills/jptalusan-correct-by-design (last updated 2026-10-24)