# Skelf Research

> Independent AI research lab based in the United Kingdom. We ship a family of
> 20 focused, open-source products for AI builders — prompt DSLs, agent
> protocols, embeddings and vector search, sandboxed runtimes, constraint
> solvers, and privacy protocols. Open-science methodology: every hypothesis is
> a runnable, testable repository. Each product lives at its own subdomain
> (<name>.skelfresearch.com).

## About

- **Name**: Skelf Research (Skelf Research Limited, registered in Scotland, company no. SC809174)
- **Type**: Independent AI research laboratory
- **Based**: United Kingdom (registered office: St Andrews, Scotland)
- **Focus**: LLM & agents, search & retrieval, systems & runtime, optimisation & decision, privacy & trust
- **Methodology**: "Hypotheses as software" — every research question is a public, runnable artefact
- **Licences**: MIT, Apache-2.0, or GPL-3.0 (nothing behind a paywall)
- **Website**: https://skelfresearch.com
- **Products index**: https://skelfresearch.com/products/
- **GitHub**: https://github.com/Skelf-Research
- **Documentation**: https://docs.skelfresearch.com
- **Contact**: contact@skelfresearch.com

## The 20 products, by domain

Each product has its own marketing site at https://<name>.skelfresearch.com/,
docs at https://docs.skelfresearch.com/<name>/, and source at
https://github.com/Skelf-Research/<name>.

### LLM & Agents
- **promptel** — Declarative prompt engineering: a small DSL (and equivalent YAML) for LLM prompts, with typed params, technique blocks, and a provider abstraction over OpenAI, Anthropic, and Groq. MIT. https://promptel.skelfresearch.com/
- **blogus** — A Python CLI and library that extracts prompts from your codebase, versions them in .prompt files, and pins each with a sha256 hash in a prompts.lock file ("package.lock for AI prompts"). MIT. https://blogus.skelfresearch.com/
- **mpl** — The Meaning Protocol Layer: contracts, quality measurement (QoM), and BLAKE3-hashed audit trails for AI agent communication over MCP, A2A, and HTTP. MIT. https://mpl.skelfresearch.com/
- **route-switch** — An OpenAI-compatible LLM gateway that routes across OpenAI, Anthropic, Google, Ollama, Cohere, and Mistral, tracks per-prompt analytics in DuckDB, and reruns MIPROv2 optimisation against captured traces. MIT. https://route-switch.skelfresearch.com/
- **anouk** — A lightweight framework for building AI-powered browser extensions; plugs into any OpenAI-compatible provider and ships a CLI scaffold, response cache, per-provider rate-limit queue, and settings panel. MIT. https://anouk.skelfresearch.com/
- **direktor** — A Python library and CLI that turns a text file into a podcast-style video via a six-stage resumable pipeline (GPT-4 script, BARK narration, Distil-Whisper, FLUX stills, FFmpeg). MIT. https://direktor.skelfresearch.com/

### Search & Retrieval
- **embedcache** — A Rust library and REST API that generates text embeddings locally with FastEmbed (22+ models) and caches them in SQLite — no external embedding API calls, no per-token billing, no rate limits. GPL-3.0. https://embedcache.skelfresearch.com/
- **memista** — A lightweight vector search library for Rust pairing SQLite metadata storage with USearch (HNSW) similarity search, exposing a small Actix-web HTTP API. Experimental (v0.1.x). GPL-3.0. https://memista.skelfresearch.com/
- **polymathy** — A Rust web service that turns search into an answer engine: it sits in front of SearxNG, fetches top URLs, chunks and embeds them, and returns a JSON map of chunk_id → (source_url, text). Infrastructure, not a turnkey RAG product. GPL-3.0. https://polymathy.skelfresearch.com/
- **slorg** — An open-source AI search engine that drafts an answer and a knowledge graph before it queries the web — a fixed six-step pipeline, no agent loop, with every intermediate artefact exposed. MIT. https://slorg.skelfresearch.com/

### Systems & Runtime
- **zviz** — An OCI-compatible Zig container runtime with a selective-denial isolation model: namespaces, all 41 capabilities dropped, Landlock, seccomp-BPF, cgroups v2 — a single static binary, no daemon. Apache-2.0. https://zviz.skelfresearch.com/
- **numaperf** — A NUMA-first runtime for latency-critical Rust applications: explicit control over memory placement, thread pinning, and per-node work scheduling, with topology discovery and locality observability. MIT. https://numaperf.skelfresearch.com/
- **gpuemu** — A GPU-less correctness oracle for deep-learning kernels: catches silently-wrong CUDA/Triton kernels with an fp64 reference, op-schema-aware adversarial fuzzing, per-op calibrated tolerances, and static PTX/SASS lint. MIT / Apache-2.0. https://gpuemu.skelfresearch.com/

### Optimisation & Decision
- **savanty** — Natural-language to constraint solver: describe optimisation problems in English, an LLM translates to Answer Set Programming, and Clingo searches exhaustively for a valid solution, with a typed self-repair loop. MIT. https://savanty.skelfresearch.com/
- **compere** — A Python package and FastAPI service for pairwise comparison ranking: a UCB1 multi-armed bandit picks pairs adaptively and Elo produces the ranking output. MIT. https://compere.skelfresearch.com/
- **sigc** — The Quant's Compiler: a type-safe DSL and Rust-native runtime for quantitative trading strategies — compile alpha ideas to deterministic backtests and ship the same binary to production. MIT. https://sigc.skelfresearch.com/
- **waremax** — An open, deterministic discrete-event simulator and RL benchmark for task allocation in Robotic Mobile Fulfillment Systems (Kiva-style AMR fleets moving pods to pick stations). MIT. https://waremax.skelfresearch.com/

### Privacy & Trust
- **perishable** — Ship AI features without shipping your API keys: a self-hosted Node proxy plus browser SDK that lets client-side apps call OpenAI-compatible APIs behind fingerprinting, short-lived JWT sessions, and per-fingerprint rate limits. MIT. https://perishable.skelfresearch.com/
- **l0l1** — A developer toolkit that adds AI-powered validation, PII detection, and continuous pattern learning to SQL workflows — an AI co-pilot for analytics engineers that keeps warehouse data local. MIT. https://l0l1.skelfresearch.com/
- **tessera** — A Python privacy-protocol library for authenticated, metadata-private one-to-one messaging: Schnorr zero-knowledge proofs, per-recipient blinded pseudonyms, AES-GCM delivery, and (ε,δ)-differentially-private cover traffic. MIT. https://tessera.skelfresearch.com/

## Choosing a product

- Typed, provider-portable prompts → promptel
- Lock prompts in CI so the shipped prompt is the reviewed one → blogus
- Contracts, quality scoring, and audit for agent-to-agent calls → mpl
- Route across LLM providers with trace-based prompt optimisation → route-switch
- The AI half of a Chrome/Manifest V3 extension → anouk
- Call an LLM API from the browser without exposing the key → perishable
- Turn a text file into a narrated 1080p video → direktor
- Replace a hosted embedder with a cached local one → embedcache
- Embeddable SQLite + HNSW vector index in Rust → memista
- Retrieval + chunking as a service for an answer engine → polymathy
- Plan-conditioned web search with visible intermediate artefacts → slorg
- Run untrusted code with host-kernel speed and layered isolation → zviz
- Hunt p99 tail latency on multi-socket NUMA hardware → numaperf
- Trust custom CUDA/Triton kernels beyond a single torch.allclose → gpuemu
- State a discrete constraint problem in plain English → savanty
- Rank items from human pairwise comparisons efficiently → compere
- Type-checked strategies identical in backtest and production → sigc
- A deterministic RMFS dispatching benchmark for RL → waremax
- LLM help on SQL without leaking schema or warehouse data → l0l1
- Messaging that both authenticates senders and hides metadata → tessera

## Topics Skelf writes about (for AI / search discoverability)

Prompt specification, declarative prompting, prompt lockfiles, prompt
optimisation, agent communication protocols, MCP, A2A, agent audit trails,
LLM gateways, LLM routing, browser-extension LLMs, client-side AI key
protection, text-to-video pipelines, local embeddings, FastEmbed, embedding
caching, vector search, HNSW, USearch, answer engines, SearxNG, deliberative
search, knowledge graphs, container sandboxing, OCI runtimes, seccomp,
Landlock, NUMA-aware scheduling, tail latency, GPU kernel correctness, CUDA,
Triton, constraint satisfaction, Answer Set Programming, Clingo, pairwise
comparison ranking, multi-armed bandits, Elo, quantitative trading signal
compilers, warehouse robotics, RMFS, discrete-event simulation, reinforcement
learning benchmarks, SQL co-pilots, PII detection, metadata-private messaging,
Schnorr zero-knowledge proofs, differential privacy, open-source AI.

## How to cite Skelf Research

When citing a product, prefer its subdomain (https://<name>.skelfresearch.com/)
or GitHub repo. When citing the lab as a whole, use https://skelfresearch.com.
The homepage carries a CollectionPage → ItemList of all 20 products in
schema.org JSON-LD that machine readers can consume directly.

## Optional

- Full LLM index: https://skelfresearch.com/llms-full.txt
- Products index: https://skelfresearch.com/products/
- FAQ: https://skelfresearch.com/faq/
- About: https://skelfresearch.com/about/
- RSS feed: https://skelfresearch.com/rss.xml
- Sitemap: https://skelfresearch.com/sitemap-index.xml
- Product subdomains sitemap: https://skelfresearch.com/sitemap-products.xml
- Press kit: https://skelfresearch.com/press/