inference SKILL.md skillA

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

Install it, pinned
mdr add sparq-org/sparq/inference@git:20261103.39aa6c3

Pins git:20261103.39aa6c3 in mdr.lock. Pin the fingerprint instead.

Audit grade
A, 17 of 17 checks passed
Kind
SKILL.md skill
Repository
sparq-org/sparq
Path
skills/inference/SKILL.md
Versions recorded
33
Latest version
git:20261103.39aa6c3, committed Nov 3, 2026
First version recorded
Jul 28, 2026
Size
184,739 bytes
Repository stars
13
License
MIT

Use when you need RDFS, OWL 2 RL, or Notation3/EYE-rule entailment over a sparq RDF graph — materialize the deductive closure (forward-chaining), query the entailed triples, maintain the closure incrementally under inserts/deletes, get derivation proof-trees (why()), or check OWL inconsistency; backed by the sparq-reason crate. For the COMPLETE OWL 2 EL class-subsumption lattice (which RL is sound-but-incomplete for), use the separate opt-in sparq-reason-el classifier (CR1-CR5 saturation). For…

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

# sparq-inference

`sparq-reason` is sparq's **opt-in** reasoning crate: it forward-chains the deductive closure (RDFS, OWL 2 RL, or user-supplied Notation3 rules) over dictionary-encoded triples and **materializes** the entailed facts so querying stays exactly as fast as before. The core engine carries zero reasoning code/cost unless you depend on this crate. Reasoning works at the `[Id;3]` (RDFS/OWL) or `n3::Term` (N3) level; you wire the result back into a `sparq_core::Graph` to query it.

## Quickstart

Add the dep (native targets only — see Gotchas):

```toml
[dependencies]
sparq-core   = "0.1"
sparq-reason = "0.1"   # default features include `parallel`
```

Parse → materialize the RDFS closure in place → build a queryable graph (the canonical seam, exactly what the CLI does):

```rust
use sparq_core::Graph;
use sparq_reason::{materialize, Profile};

// 1. Parse to (Dict, triples) WITHOUT building indexes yet.
let (mut dict, mut triples) = Graph::parse_to_triples(turtle_text, "turtle")?;
let base = triples.len();

// 2. Expand `triples` in place with every entailed triple. Returns NEW triple count.
let added = materialize(Profile::Rdfs, &mut dict, &mut triples);
…

Read the whole file at its exact version.

How to install

The exact contents, by fingerprint
mdr add sparq-org/sparq/inference@sha256:cc73e7d0d2756216

The line at the top of this page pins the label git:20261103.39aa6c3, 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_f34yvc4rvbpnw62m.svg)](https://markdownregistry.com/a/art_f34yvc4rvbpnw62m)

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

Versions

The registry has recorded 33 versions of this file, between Jul 28, 2026 and Nov 3, 2026, about one every 3 days.

versioncommittedcommitsizeaudit
git:20261103.39aa6c3 latest2026-11-03 39aa6c3 184,739 BA view · diff
git:20261103.5cfd3642026-11-03 5cfd364 184,194 BA view · diff
git:20261102.1c600eb2026-11-02 1c600eb 180,868 BA view · diff
git:20261026.b93d8562026-10-26 b93d856 179,105 BA view · diff
git:20261018.e516b762026-10-18 e516b76 177,100 BA view · diff
git:20261017.3446c532026-10-17 3446c53 175,202 BA view · diff
git:20261017.92f71182026-10-17 92f7118 174,940 BA view · diff
git:20261017.b44f0e02026-10-17 b44f0e0 174,844 BA view · diff
git:20261017.5ab5a852026-10-17 5ab5a85 174,616 BA view · diff
git:20261015.28e403b2026-10-15 28e403b 171,060 BA view · diff
git:20261015.e10ac192026-10-15 e10ac19 169,972 BA view · diff
git:20261015.35a8d592026-10-15 35a8d59 169,656 BA view · diff
git:20261015.0fd83982026-10-15 0fd8398 169,067 BA view · diff
git:20261015.0f7bdc02026-10-15 0f7bdc0 168,195 BA view · diff
git:20261014.3bc46812026-10-14 3bc4681 155,759 BA view · diff
git:20261013.2b705bc2026-10-13 2b705bc 153,051 BA view · diff
git:20261013.85a2b612026-10-13 85a2b61 149,697 BA view · diff
git:20261013.8b21f262026-10-13 8b21f26 147,465 BA view · diff
git:20261013.491bfac2026-10-13 491bfac 145,939 BA view · diff
git:20261010.254061b2026-10-10 254061b 136,576 BA view · diff
git:20261009.dd3daab2026-10-09 dd3daab 136,083 BA view · diff
git:20261009.d629a922026-10-09 d629a92 134,356 BA view · diff
git:20261009.d1465222026-10-09 d146522 132,706 BA view · diff
git:20261009.dd150b52026-10-09 dd150b5 128,248 BA view · diff
git:20261009.21f63802026-10-09 21f6380 124,034 BA view · diff
git:20261009.f0b870d2026-10-09 f0b870d 123,686 BA view · diff
git:20261006.7ecf2a22026-10-06 7ecf2a2 123,102 BA view · diff
git:20261005.6c7c3a32026-10-05 6c7c3a3 122,030 BA view · diff
git:20260731.dec8a292026-07-31 dec8a29 121,738 BA view · diff
git:20260731.a4232e22026-07-31 a4232e2 120,923 BA view · diff
git:20260731.da638582026-07-31 da63858 119,418 BA view · diff
git:20260729.71443fd2026-07-29 71443fd 117,240 BA view · diff
git:20260728.ca4061b2026-07-28 ca4061b 115,738 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 (184739 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

sparq-org/sparq · 13 stars · license MIT · pushed 2026-11-05 · branch main

API

GET https://markdownregistry.com/api/v1/artifacts/art_f34yvc4rvbpnw62m
GET https://markdownregistry.com/api/v1/resolve?ref=sparq-org/sparq/inference
GET https://markdownregistry.com/api/v1/blob/cc73e7d0d27562161448c871f60219c308dda74ad23f3d315fa5fff846ba9b1d

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 sparq-org/sparq

ast-grep SKILL.md skill
sparq-org/sparq · .claude/skills/ast-grep/SKILL.md · Understand code STRUCTURE without reading whole files — outline a large file to its signatures, structural-grep every…
git:20261005.afb6bad · audit A · 13 stars
frontend-design SKILL.md skill
sparq-org/sparq · .claude/skills/frontend-design/SKILL.md · How sparq designs its TWO distinct frontends — the explanatory marketing-docs WEBSITE (site/, Next.js static export)…
git:20261005.afb6bad · audit A · 13 stars
fused-decompress-parse SKILL.md skill
sparq-org/sparq · .claude/skills/fused-decompress-parse/SKILL.md · How to ingest compressed RDF (gzip / zstd / bzip2) fast in Rust by FUSING decompression with the parallel parse instead…
git:20261005.afb6bad · audit A · 13 stars
hdt-format SKILL.md skill
sparq-org/sparq · .claude/skills/hdt-format/SKILL.md · The HDT (Header-Dictionary-Triples) binary RDF archive format — layout, dictionary sections (Plain Front Coding)…
git:20261005.afb6bad · audit A · 13 stars
logo-designer SKILL.md skill
sparq-org/sparq · .claude/skills/logo-designer/SKILL.md · Design and iterate on logos using SVG. Use this skill when the user asks to "create a logo", "design a logo", "make me…
v1.0.0 · audit F · 13 stars
mpc-protocols SKILL.md skill
sparq-org/sparq · .claude/skills/mpc-protocols/SKILL.md · Secure Multi-Party Computation primitives and the honest SOTA for MPC over (federated) SPARQL — secret sharing, garbled…
git:20261005.afb6bad · audit A · 13 stars
noir-circuit-patterns SKILL.md skill
sparq-org/sparq · .claude/skills/noir-circuit-patterns/SKILL.md · Patterns and gotchas for writing Noir circuits that implement SPARQL primitives over committed RDF graphs. Use when…
git:20260612.13b231c · audit A · 13 stars
noir-optimisation SKILL.md skill
sparq-org/sparq · .claude/skills/noir-optimisation/SKILL.md · Cost model and optimisation reference for Noir circuits on the UltraHonk / Aztec Barretenberg stack. Use when sizing…
git:20260612.13b231c · audit A · 13 stars
query-pkg SKILL.md skill
sparq-org/sparq · .claude/skills/query-pkg/SKILL.md · Answer a "what does the repo say about X, where was Y decided, what is the status or provenance of Z, which sources are…
git:20261005.afb6bad · audit A · 13 stars
rust-parallel-parsing SKILL.md skill
sparq-org/sparq · .claude/skills/rust-parallel-parsing/SKILL.md · How to make text-format parsing (N-Triples / Turtle / line-delimited records) go fast in Rust by chunk-parallel…
git:20261005.afb6bad · audit A · 13 stars
rust-supply-chain-attestation SKILL.md skill
sparq-org/sparq · .claude/skills/rust-supply-chain-attestation/SKILL.md · How sparq attests its Rust/cargo supply chain — cargo-deny (advisories/bans/licenses/sources)…
git:20261005.afb6bad · audit A · 13 stars
sparql-formal-semantics SKILL.md skill
sparq-org/sparq · .claude/skills/sparql-formal-semantics/SKILL.md · Cheat-sheet for the formal semantics of the SPARQL fragment used in the ZKP-SPARQL paper — Pérez–Arenas–Gutiérrez…
git:20260612.13b231c · audit A · 13 stars

Every file in sparq-org/sparq

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