sparq-org

sparq-org/sparq

Settings file Claude Code

Agent settings declaring 2 hook events (SessionStart, PreToolUse).

sparq-org/sparq

Skill Claude CodeCodex

Understand code STRUCTURE without reading whole files — outline a large file to its signatures, structural-grep every impl of a trait, and find call sites — using ast-grep (tree-sitter structural matching) and the editor outline/LSP, and knowing WHEN to reach for ast-grep vs Grep vs LSP vs a full Read. Use on the…

sparq-org/sparq

Skill Claude CodeCodex

How sparq designs its TWO distinct frontends — the explanatory marketing-docs WEBSITE (site/, Next.js static export) and the operational desktop GUI (gui/, Tauri 2 + native engine). Covers the methodology that keeps them distinct, scannable, and honest: information architecture + content-reduction (fight "too much…

sparq-org/sparq

Skill Claude CodeCodex

How to ingest compressed RDF (gzip / zstd / bzip2) fast in Rust by FUSING decompression with the parallel parse instead of decompress-to-memory-then-parse, and which codec to choose. Use when working on sparq-core's compressed ingest (loadreaderparallel, buildexternalntriplesparallel, sparq-cli's openreader), choosing…

sparq-org/sparq

Skill Claude CodeCodex

The HDT (Header-Dictionary-Triples) binary RDF archive format — layout, dictionary sections (Plain Front Coding), BitmapTriples with rank/select, .hdt.gz handling, and how the sparq-hdt crate wraps the hdt crate. Use when working on sparq-hdt (loading .hdt archives into a sparq Graph), reasoning about HDT decode…

sparq-org/sparq

Skill Claude CodeCodex

Design and iterate on logos using SVG. Use this skill when the user asks to "create a logo", "design a logo", "make me a logo", "iterate on this logo", "logo for my project", or discusses logo design, branding icons, or wordmarks.

sparq-org/sparq

Skill Claude CodeCodex

Secure Multi-Party Computation primitives and the honest SOTA for MPC over (federated) SPARQL — secret sharing, garbled circuits, collaborative zk-SNARKs, authenticated-input MPC, and what is / is NOT achievable today. Use when working on the sparq-mpc crate (RQ2), choosing an MPC trust model or primitive, reasoning…

sparq-org/sparq

Skill Claude CodeCodex

Patterns and gotchas for writing Noir circuits that implement SPARQL primitives over committed RDF graphs. Use when implementing BGP matchers, joins, filters, projections, or hashing-to-field strategies; when sizing constraint budgets; when laying out public inputs that bind to a commitment scheme; or when interfacing…

sparq-org/sparq

Skill Claude CodeCodex

Cost model and optimisation reference for Noir circuits on the UltraHonk / Aztec Barretenberg stack. Use when sizing constraint budgets, deciding whether to push work into an unconstrained Brillig hint with an in-circuit verifier, comparing Field-arith vs typed u64 bit operations, reading bb gates / nargo info /…

sparq-org/sparq

Skill Claude CodeCodex

The standing proceed-without-the-maintainers-greenlight procedure for any sparq agent that hits a design/judgment-decision bead. Use when a bead is blocked only on a maintainer design greenlight or a choice you would otherwise ask about (NOT an external credential/access block, and NOT an honesty/soundness label) …

sparq-org/sparq

Skill Claude CodeCodex

Answer a "what does the repo say about X, where was Y decided, what is the status or provenance of Z, which sources are still unexplored, what depends on bead W" question by running a SPARQL query over the ingested Project-Knowledge-Graph (PKG) instead of reading whole documents. Use when an agent working on sparq…

sparq-org/sparq

Skill Claude CodeCodex

How to make text-format parsing (N-Triples / Turtle / line-delimited records) go fast in Rust by chunk-parallel scanning, and — load-bearing — when NOT to. Use when working on sparq-core's ingest path (nt.rs, loadreaderparallel, turtlechunks, buildexternalntriplesparallel), when tempted to write a "faster custom…

sparq-org/sparq

Skill Claude CodeCodex

How sparq attests its Rust/cargo supply chain — cargo-deny (advisories/bans/licenses/sources), cargo-vet/cargo-auditable, CycloneDX SBOM + VEX, SLSA build provenance, and OpenSSF Scorecard — and which evidence each tool produces for the SBOM, SLSA, NIST SSDF, EU CRA, and OpenSSF certification frameworks. Use when…

sparq-org/sparq

Skill Claude CodeCodex

Cheat-sheet for the formal semantics of the SPARQL fragment used in the ZKP-SPARQL paper — Pérez–Arenas–Gutiérrez algebra, RDF graph model, blank-node canonicalisation choices, fragment-scoping conventions. Use when writing operator specs, scoping which SPARQL constructs the paper supports, drafting semantics…

sparq-org/sparq

Skill Claude CodeCodex

Use when implementing any feature or bugfix, before writing implementation code.

sparq-org/sparq

Skill Claude CodeCodex

How sparq attests memory safety — the forbid(unsafecode) posture across most crates, the concentrated sparq-core unsafe surface (mmap / dict-spill / SIMD, threat-model boundary B5), the nightly Miri lane, cargo-geiger, and the per-site unsafe-justification register (gap GX-5) — and how to document plus verify every…

sparq-org/sparq

Skill Claude CodeCodex

Patterns for handling W3C Verifiable Credentials inside a zero-knowledge pipeline — signature scheme trade-offs (BBS+ vs SD-JWT-VC vs EdDSA), commitment schemes (Pedersen, Poseidon), encoding of credential graphs to circuit-friendly representations, domain-separation discipline, and the public-input contract between…

sparq-org/sparq

Instructions file CodexOpenCode

Instructions for sparq-org/sparq, covering agents.md — sparq, what sparq is, skills — how to use sparq from your code, working on this repo (contributor agents) and sparq-substrate (shared eval substrate).

sparq-org/sparq

Instructions file

Instructions for sparq-org/sparq: This repo's agent instructions live in AGENTS.md — read it first.

sparq-org/sparq

Skill Claude CodeCodex

How to USE the sparq RDF triplestore + SPARQL 1.1/1.2 engine (Rust crates, CLI, HTTP server, Python, JS/WASM) and its capabilities (reasoning, SHACL, full-text, vector, GeoSPARQL, streaming RSP-QL, ZK query proofs). Router skill — read this first, then the per-surface skill that matches the task.

sparq-org/sparq

Skill Claude CodeCodex

Use when turning a sparq contribution into an academic paper — identifying a genuinely-novel contribution (the re-runnable intake), classifying it and picking a venue (ISWC/ESWC Resource for the engine, PVLDB/SIGMOD/EDBT for DB-systems, arXiv/workshop for not-yet-sound ZK/MPC), drafting a single-source Typst (.typ)…

sparq-org/sparq

Skill Claude CodeCodex

Graph-level Solid-style access control over a sparq RDF dataset with the opt-in sparq-solid crate: store pods as named-graph-per-document, keep WAC (.acl) / ACP (.acr) documents as queryable triples, materialize their semantics to a queryable authorization view (urn:sparq:auth) via N3 rules, then filter every SPARQL…

sparq-org/sparq

Skill Claude CodeCodex

Use when an LLM/agent should access a sparq RDF dataset over the Model Context Protocol (MCP) as first-class tools — run SPARQL queries, mine the dataset schema, list class profiles or namespace prefixes, read stats or a VoID descriptor, optionally SHACL-validate against caller-supplied shapes or derive a shape-aware…

sparq-org/sparq

Skill Claude CodeCodex

Export and import sparq SPARQL SELECT QueryResult values through Apache Arrow RecordBatch, in-memory Parquet bytes, Arrow IPC stream bytes, or flattened CSV bytes with the opt-in sparq-arrow crate. Use when moving query results into dataframe, analytics, transport, or storage tooling while preserving RDF term kinds…