tkersey/algebra-driven-design
codex/skills/algebra-driven-design/SKILL.md
Apply Algebra-Driven Design. Use for ADD, denotational design, combinator models, law-driven architecture, domain algebra, property tests, codebase modeling, event sourcing, workflow design, or agentic skill design. If the canonical bundle is unavailable, use this wrapper as the minimal ADD kernel and report the missing bundle path.
$ install --global
skillsauthnpx skillsauth add tkersey/dotfiles algebra-driven-designInstall this skill globally with one command. Works with Claude Code, Cursor, and Windsurf.
Security Scan Results
3 of 9 scanners reported clean
Some scanners were skipped, did not run, or reported a non-clean status. Review each row below.
3
Scanners Passed
9
Scanners in report
Clean
TrivyContainer and dependency vulnerability scanner
95%
Clean
SemgrepStatic code analysis for vulnerabilities
95%
Clean
mcp-scan (Snyk)Model Context Protocol security validation
95%
Skipped
Snyk (dep)Open source security scanning
50%
Skipped
Socket.devSupply chain security analysis
50%
Skipped
VirusTotalMulti-engine malware detection
50%
Skipped
CrowdStrikeAdvanced threat intelligence
50%
Skipped
OSV-ScannerOpen Source Vulnerability database check
50%
Skipped
OWASP Dep-Check
50%
Last scanned: Jun 29, 2026, 4:30 AM273.3s23 files scanned
SKILL.md
- name:
- algebra-driven-design
- description:
- Apply Algebra-Driven Design. Use for ADD, denotational design, combinator models, law-driven architecture, domain algebra, property tests, codebase modeling, event sourcing, workflow design, or agentic skill design. If the canonical bundle is unavailable, use this wrapper as the minimal ADD kernel and report the missing bundle path.
Algebra-Driven Design Loader
This loadable skill wrapper exists so local Codex skill discovery can find algebra-driven-design under codex/skills/.
Canonical bundle resolution
Before using the full skill, try to read the canonical bundle from one of these locations, in order:
codex/algebra-driven-design/SKILL.md
codex/skills/algebra-driven-design/references/source-notes.md
codex/skills/algebra-driven-design/references/agentic-skill-application.md
codex/skills/algebra-driven-design/references/examples.md
If codex/algebra-driven-design/SKILL.md is absent in the active checkout, do not fail silently and do not invent bundle contents. Use the minimal ADD kernel below, report the missing canonical path as a local-reference gap, and continue only for work that the kernel can support.
Minimal ADD kernel
Use Algebra-Driven Design for domain algebra:
- carriers / data domains;
- operations / constructors / eliminators;
- observations;
- laws and explicit non-laws;
- interpreters;
- property tests or law-derived examples;
- architecture derived from the laws.
A compact ADD pass should produce:
Domain:
Carriers:
Operations:
Observations:
Laws:
Non-laws:
Interpreters:
Property tests / falsifiers:
Architecture implication:
Boundary summary
Use algebra-driven-design for domain algebra. Use universalist when the central problem is a boundary equation, certified composition, exact context, sheafification, or a universal-architecture seam.
Related Skills
tkersey/fm
tools
VerifiedTrustedCommunity
Invokes Apple's macOS 27 fm command-line tool from a local Mac to use the on-device system model or Private Cloud Compute, including instructions, image prompts, schema-constrained JSON, and noninteractive automation. Use when the user asks to run Apple Foundation Models through fm, compare system versus pcc, generate structured output, or automate fm without Swift or an app.
64SKILL.mdUpdated Jul 20, 2026
tkersey/hylo
development
VerifiedTrustedCommunity
Compile historical Codex sessions into governed counterfactual evidence, evaluate an existing owner-applied candidate through blinded paired HCTP trials, and fold observable evidence into RUN, OBSERVE, or STOP. Use for `$hylo`, CRF extraction, counterfactual replay, source-governed direct or historical trials, sealed evidence, paired baseline/candidate evaluation, causal frontiers, or evidence-governed improvement.
64SKILL.mdUpdated Jul 13, 2026
tkersey/ledger
testing
VerifiedTrustedCommunity
Ensure a `ledger` command is available on PATH; materialize, validate, record, replay, and project requested Actuating artifacts without taking semantic or execution authority; coordinate the shared Learnings/Synesthesia/Negative Ledger lifecycle checkpoint and repo-local source-memory reconciliation; address Universalist plans and receipts; and perform pure artifact validation.
64SKILL.mdUpdated Jun 29, 2026
tkersey/review-fold
testing
VerifiedTrustedCommunity
Classify and quotient review findings, failing tests, incidents, bug reports, migration failures, and other witnessed falsifiers against accepted intent and the current Construction. Author counterexample-set/v1 without selecting repairs, counting review credit, or granting mutation.
64SKILL.mdUpdated Jun 28, 2026