Edict: Skill for Claude Code

.agent/skills/edict-testing/SKILL.md

edict-testing is a skill for Claude Code, Codex from Sowiedu/Edict. It costs 85 tokens per session (1,445 once invoked), scanned A, original, MIT.

A testing guide for the Edict compiler, a TypeScript tool that checks programs represented as JSON syntax trees. It explains Vitest, a JavaScript testing framework, and organizes tests across the compiler's six processing stages and its MCP integration.

In plain words
What is it for?
Use it when writing tests, fixing failures, adding coverage, or learning how to test Edict's validation, name lookup, type checks, effect checks, and other pipeline stages.
Why use it?
It gives contributors consistent places and patterns for testing valid programs, expected failures, boundary cases, and coverage, instead of inventing a different approach for each change.

Skill for Claude CodeCodex

Written for no agent in particular: nothing here depends on one.

This is Sowiedu/Edict's own configuration. It tells Claude Code and Codex how to work on Edict itself, so it is not a mod to install elsewhere. Copy it as a starting point and replace the rules that are about this project. Everything Edict configures →

Needs its repository: it reads a path above its own folder, which exists only inside the repository. The line is import { validate } from "../../src/index.js";.

Reuse

Borrowing it

Nothing to install: this file belongs to Sowiedu/Edict. Take a copy, put it at the same path in your own repository, and replace the rules that are about this project with yours.

Copy the file
curl -O https://raw.githubusercontent.com/Sowiedu/Edict/main/.agent/skills/edict-testing/SKILL.md
Clone the repo
git clone --depth 1 https://github.com/Sowiedu/Edict

Made for: Claude Code, Codex.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for edict-testing

README.md
[![agentmods](https://agentmods.dev/badge/skills/sowiedu/edict/edict-testing/github.svg)](https://agentmods.dev/skills/sowiedu/edict/edict-testing)
Your own site
<a href="https://agentmods.dev/skills/sowiedu/edict/edict-testing"><img src="https://agentmods.dev/badge/skills/sowiedu/edict/edict-testing/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for edict-testing

Your own site · 80×15
<a href="https://agentmods.dev/skills/sowiedu/edict/edict-testing"><img src="https://agentmods.dev/badge/skills/sowiedu/edict/edict-testing.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 85 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 1,445 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00085 $0.01445
Opus 5.5 $0.00034 $0.00578
Sonnet 5.5 $0.00017 $0.00289
Haiku 4.5 $0.00009 $0.00145

Measured 2mo ago against content hash b75bc238a3c3, method: parsed. Prices are Anthropic first-party input rates as of 2026-10-07, from the pricing page.

Security

Grade A, and why

edict-testing scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 2mo ago.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

.agent/skills/edict-testing/SKILL.md · 166 lines

How it starts

The opening of the file, as written. The whole thing — 166 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Edict Testing

Edict uses vitest for testing. The test suite covers all 6 pipeline stages plus MCP integration.

Commands

npm test              # Run all tests (vitest run)
npm run test:watch    # Watch mode (vitest)
npm run test:coverage # Coverage report (vitest run --coverage)

Directory Structure

tests/
├── validator/              # Phase 1: Schema validation
│   ├── valid-programs.test.ts    # Valid ASTs that should pass
│   ├── invalid-programs.test.ts  # Invalid ASTs that should fail with specific errors
│   ├── edge-cases.test.ts        # Boundary conditions
│   └── examples.test.ts          # All example programs validate
├── resolver/               # Phase 2a: Name resolution
│   ├── resolve.test.ts           # Core resolution tests
│   ├── coverage.test.ts          # Additional coverage
│   └── coverage-extended.test.ts # Extended edge cases
├── checker/                # Phase 2b: Type checking
│   ├── check.test.ts             # Core type checking tests
│   ├── coverage.test.ts          # Additional coverage
│   └── coverage-extended.test.ts # Extended edge cases
├── effects/                # Phase 3: Effect checking
│   ├── effect-check.test.ts      # Effect propagation and violation tests
│   └── call-graph.test.ts        # Call graph construction
├── contracts/              # Phase 4: Contract verification
│   ├── verify.test.ts            # Z3 contract verification
│   └── translate.test.ts         # Expression → Z3 translation
├── codegen/                # Phase 5: WASM code generation
│   ├── codegen.test.ts           # AST → WASM compilation
│   ├── runner.test.ts            # WASM execution
│   ├── e2e.test.ts               # End-to-end compile + run
│   └── string-table.test.ts      # String interning
├── errors/                 # Error system
│   └── fix-suggestions.test.ts   # Fix suggestion generation
├── mcp/                    # Phase 6: MCP server
│   ├── handlers.test.ts          # Tool handler tests
│   ├── agent-simulation.test.ts  # Simulated agent session
│   ├── http-transport.test.ts    # HTTP/SSE transport
│   └── version.test.ts           # Version tool
└── pipeline/               # Full pipeline
    └── check.test.ts             # End-to-end check pipeline

Read the full file on GitHub · 166 lines

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 2mo ago First seen · 166 lines · 85 tokens per session scan A b75bc238a3c3

Subscribe to this mod's changes

edict-testing is a skill published in the GitHub repository Sowiedu/Edict (13 stars, last pushed 4d ago), licensed MIT. It adds 85 tokens to every session and 1,445 once invoked, about $0.0003 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other skills, from other repositories

sounio-examples-hygiene

Keep examples/ compiling and aligned with the compiler; use when editing examples or enforcing example hygiene.

Sounio-lang/sounio · 30 tokens

sounio-tests-suite

Add and maintain Sounio tests: tests/run-pass, tests/compile-fail, and tests/ui; use when writing regressions or adjusting diagnostics expectations.

Sounio-lang/sounio · 41 tokens

long-build

Coordinate long Simple builds and test matrices through finite dependency scheduling, resource monitoring, cache-preserving continuation and parallel failure repair.

ormastes/simple · 27 tokens

debug

Diagnose and repair Simple compiler, bootstrap, build or executable failures using real artifacts, independent failure collection and focused regressions.

ormastes/simple · 27 tokens

test-master

Generates test files, creates mocking strategies, analyzes code coverage, designs test architectures, and produces test plans and defect reports across functional, performance, and security testing disciplines. Use when writing unit tests, integration tests, or E2E tests; creating test strategies or automation…

Jeffallan/claude-skills · 104 tokens

migrate-xunit-to-xunit-v3

Migrate .NET test projects from xUnit.net v2 to xunit.v3 and fix v3 breaks. Use for package/CPM conversion, OutputType=Exe, preserving the VSTest or MTP runner (including projects currently using YTest.MTP.XUnit2), incompatible TFMs, async void tests, string-to-Type attributes, custom Fact/Theory/BeforeAfterTest…

dotnet/skills · 149 tokens