sley SKILL.md skillA

sley from sley-lang/sley is an agent skill: a SKILL.md folder an AI agent loads when a task calls for it.

Install it, pinned
mdr add sley-lang/sley/sley@git:20261030.3a1db9d

Pins git:20261030.3a1db9d in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
sley-lang/sley
Path
skills/sley/SKILL.md
Versions recorded
2
Latest version
git:20261030.3a1db9d, committed Oct 30, 2026
First version recorded
Oct 30, 2026
Size
14,754 bytes
Repository stars
13
License
Apache-2.0

Write, test and submit Sley programs with the `sley-agent` workbench, authoring in its typed Python dialect. Use when a task asks for a Sley function or program, mentions `sley-agent`, `try --familiar`, drafts such as `d1@r1`, or a Sley refusal symbol (`AGENT_FRAME_INVALID`, `CAP_BUDGET_EXCEEDED`, `TXN_TEST_EVIDENCE_UNSUPPORTED`, ...).

Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.

What the file says

# Writing Sley programs

Sley is a programming system built for agents. A Sley program is a typed,
content-addressed semantic graph of functions, types, constants and tests,
not a source file. You change it by proposing a candidate; a deterministic
kernel validates the candidate in ordered phases and refuses anything it
cannot check, with a stable symbol. `sley-agent` is the workbench that builds
candidates, runs their tests and submits them.

You can write candidates in a typed Python dialect. It is an optional,
non-canonical authoring input: `try --familiar` parses the text once into a
structured frame, and from then on drafts, submissions and commits use the
frame and the graph, never the text. Nothing renders a program back into
Python. The JSON frame form (AF1) is in `sley-agent help`.

Every example below was run against the released 2.1.7 binaries. To try the
dialect before installing, use the [Sley Playground](https://sleylang.org/playground):
it compiles and calls functions in the browser with the same compiler and VM
(inline tests need `sley-agent`).

## Install and verify

Linux x86_64 only.

```sh
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add sley-lang/sley/sley@sha256:f577116d4f68b940

The line at the top of this page pins the label git:20261030.3a1db9d, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.

Badge

mdr badge

[![mdr](https://markdownregistry.com/badge/art_4dnali6fegwiek3f.svg)](https://markdownregistry.com/a/art_4dnali6fegwiek3f)

0 badge image fetches in 30 days. What the badge shows.

Versions

The registry has recorded 2 versions of this file, all committed on Oct 30, 2026.

versioncommittedcommitsizeaudit
git:20261030.3a1db9d latest2026-10-30 3a1db9d 14,754 BA view · diff
git:20261030.4a5bc9c2026-10-30 4a5bc9c 14,545 BA view

Audit of the latest version

A  17 of 17 checks passed. Fixed automatic checks with no AI involved, so the same checks give the same answer every run.
  • pass: Frontmatter block present
  • pass: Frontmatter declares a name
  • pass: Frontmatter declares a description
  • pass: Size between 200 bytes and 200 KB (14754 bytes)
  • pass: No zero-width or bidi control characters
  • pass: No instruction hidden inside an HTML comment
  • pass: No link to an exfiltration or paste host
  • pass: No credential-shaped string
  • pass: No instruction to send local credentials anywhere
  • pass: No text hidden with inline styles
  • pass: No prompt-injection phrasing
  • pass: No curl or wget piped into a shell
  • pass: No recursive delete of root, home or parent
  • pass: No instruction to read or print local credentials
  • pass: No base64 blob over 200 characters
  • pass: No link to a raw IP address
  • pass: No script tag

Source

GitHub

sley-lang/sley · 13 stars · license Apache-2.0 · pushed 2026-11-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_4dnali6fegwiek3f
GET https://markdownregistry.com/api/v1/resolve?ref=sley-lang/sley/sley
GET https://markdownregistry.com/api/v1/blob/f577116d4f68b940dea9ad69411b515a13952246e1b7d56fee1d422a424c8ed1

Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.

Guides: the SKILL.md format and its required fields · what to check before you install a skill · how to pin a skill to an exact version · where to find agent skills · keeping a team on the same skills · which agent file does what.

More from sley-lang/sley

sley-embed SKILL.md skill
sley-lang/sley · skills/sley-embed/SKILL.md · Embed Sley in a Rust host or a WebAssembly build with the `sley_agent::embed` API - compile Python-dialect source in…
git:20261030.3a1db9d · audit A · 13 stars

Every file in sley-lang/sley

Browse by kind, by grade A, or by owner.