Documentation

Reference Library

Guides generated straight from each project’s repository, grouped by what the project is. Every card links the source, the latest release, and the docs.

Tools

31 projects

Command-line tools that do one thing well and then get out of the way.

claude-q

Topic-based FIFO task queue for Claude Code. Queue work with q put, dequeue when context allows – nothing gets forgotten between sessions.

leynos/claude-q

Concordat

Enforces consistent GitHub repository settings across an estate of enrolled repos by driving OpenTofu. Plan, review, apply – settings drift ends here.

leynos/concordat

create-labels

Creates and updates GitHub labels from a TOML file or a sensible default set. Idempotent, Enterprise-aware, and deletes nothing.

leynos/create-labels

css-view

Gives agents a view of computed styles. Captures deduplicated CSS snapshots from a live page via agent-browser, the Chromium DevTools Protocol, or Playwright – DevTools for terminals.

leynos/css-view

Dakar

Code review with a hard per-review cost ceiling. Bounded model lanes, admission control, and a dakar-review CLI.

leynos/Dakar

ddlint

Linter for Differential Datalog. A Logos tokenizer, an error-recovering Chumsky parser, and a Rowan syntax tree – lints that survive broken input.

leynos/ddlint

Dear Diary

MCP server giving coding agents persistent semantic memory. Qdrant vectors and local FastEmbed embeddings – no cloud round-trips.

leynos/dear-diary

df12-build

ODW workflows plus a supervisor skill that drive a project from roadmap through planning, review, implementation, and merge. Happy robots build happy code.

leynos/df12-build

df12-lints

Shared lint tooling for JavaScript and TypeScript: an Oxlint plugin with local rules for conditional complexity and documentation.

leynos/df12-lints

Digital Puddle

Local DigitalOcean v2 API simulator. A deterministic, seeded control plane with action polling and eventual consistency for infrastructure tests.

leynos/digitalpuddle

Frankie

Terminal code review assistant. Pulls pull-request comments into a keyboard-driven TUI with SQLite caching and background refresh.

leynos/frankie

git-donkey

Git subcommands that make branch-based development less of a… well, you know. Linked worktrees, branch tracking, and repository scaffolding.

leynos/git-donkey

Hecate

Architecture checker for hexagonal Python projects. Walks package roots with ast, classifies imports, and reports boundary violations.

leynos/hecate

Lading

Coordinates version bumps and publication plans across a Rust workspace from one lading.toml. Dry runs before releases.

leynos/lading

Mapsplice

Splices one Markdown roadmap into another. Structural edits, renumbered phases, and rewritten cross-references – no manual renumbering.

leynos/mapsplice

mdtablefix

Unb0rks Markdown tables. Reflows columns to uniform widths and wraps prose to 80 columns with Markdown-aware tokenization.

leynos/mdtablefix

Mriya

Syncs the working directory to a short-lived cloud VM, runs the build there over SSH, streams output back, and destroys the evidence.

leynos/mriya

Netsuke

YAML-powered build system that fuses the minimalism of Ninja with the templating nous of Jinja. Write once, build anywhere—reproducible, declarative, and just opinionated enough to keep you honest.

leynos/netsuke

Nixie

Finds Mermaid blocks in Markdown and renders every one to prove it compiles. Broken diagrams fail the build, not the reader.

leynos/nixie

odw-lint

Static linter for Open Dynamic Workflow files. Checks workflows before they run – without executing source or dispatching agents.

leynos/odw-lint

Podbot

Runs AI coding agents inside isolated Podman containers. Credentials and the container socket stay with the trusted host side.

leynos/podbot

Polythene

Temu-tier isolation for unit testing. Pulls container images, exports them to disposable root filesystems, and executes commands via podman, bwrap, proot, or chroot.

leynos/polythene

post-turn-quality-stop-hook

Claude Code stop hook that works out which files a turn changed, runs the matching quality targets, and blocks the turn until they pass.

leynos/post-turn-quality-stop-hook

repo-local-tools

Renders shared MCP configuration and reusable agent skills from one XDG data directory into repository-local files for Claude, Codex, and friends.

leynos/repo-local-tools

rust-prover-tools

Installs, version-checks, and runs the Kani and Verus verification toolchains for Rust repositories. One CLI instead of four READMEs.

leynos/rust-prover-tools

Stilyagi

Prose linter for Markdown and source-code doc comments. Tree-sitter extraction, a Rust core, and Python bindings – style enforcement that reads the code too.

leynos/stilyagi

typos-config-builder

Generates en-GB-oxendict typos.toml configuration. Refreshes a shared Oxford dictionary cache and merges repository-local overrides.

leynos/typos-config-builder

Weaver

Semantic CLI for codebases. A light client, a weaverd daemon, sandboxed language servers, and tree-sitter – observe, act, verify.

leynos/weaver

Libraries

21 projects

Crates and packages built to be depended on: typed, tested, and documented.

actix-v2a

Shared Actix Web building blocks: keyset cursor pagination, idempotency handling, server-sent events, and OpenAPI helpers.

leynos/actix-v2a

Chutoro

Work-in-progress FISHDBC engine written in Rust that merges a rayon-driven CPU path, Rust-CUDA kernels, and a C-ABI plugin system. Built for safe, iterative clustering across heterogeneous hardware—sushi-grade data science.

leynos/chutoro

CmdMox

Python-native command mocking harness that intercepts external processes over Unix domain sockets so pytest suites can spy, stub, and replay shell workflows without brittle bash fixtures.

leynos/cmd-mox

Cuprum

Typed, async-first process execution from a curated catalogue of approved executables. Structured results, synchronous wrappers included.

leynos/cuprum

diesel-cte-ext

Common Table Expressions for Diesel. Builders for recursive and non-recursive CTEs, with column metadata helpers.

leynos/diesel-cte-ext

Falcon Correlate

Correlation IDs for Falcon web applications. One middleware, traceable requests.

leynos/falcon-correlate

Falcon Pachinko

Falcon extension for structured WebSocket routing and event orchestration. Define msgspec payload schemas, spin up background workers, and broadcast updates to rooms—all without turning your ASGI app into spaghetti.

leynos/falcon-pachinko

femtologging

Hybrid Python/Rust logging library that channels picologging’s minimalism through PyO3. Log records stream through crossbeam-channel workers for thread-friendly, low-latency structured logging.

leynos/femtologging

Ortho Config

Configuration engine inspired by esbuild’s ergonomics—one schema, many surfaces. Generate matching CLI flags, env vars, and config files for Rust services without losing type safety or your mind.

leynos/ortho-config

pg-embedded-setup-unpriv

Bootstrap postgresql_embedded clusters as root while delegating filesystem work to unprivileged users. Keep CI environments reproducible without burning down your permissions tree.

leynos/pg-embed-setup-unpriv

pylint-pypy-shim

Pylint on PyPy without the crashes. Patches Astroid's runtime introspection so linting works where CPython assumptions don't hold.

leynos/pylint-pypy-shim

Simulacat

pytest fixtures that run tests against a local, stateful GitHub API simulator. Scenario configuration, seeded repository state, and no rate limits.

leynos/simulacat

Simulacat Core

The stateful mock GitHub REST and GraphQL engine behind Simulacat, built on Simulacrum.

leynos/simulacat-core

Spycatcher Harness

Record/replay HTTP proxy for OpenAI-compatible chat APIs. Captures real exchanges into cassettes for deterministic tests.

leynos/spycatcher-harness

TEI Rapporteur

Podcast-grade TEI P5: a Rust data model with parser and emitter, exposed to Python via PyO3 and msgspec.

leynos/tei-rapporteur

theoremc

Formally verified theorems as engineering artefacts. A theorem_file! macro expands .theorem schemas into compile-time verification modules for Kani.

leynos/theoremc

Wildside Engine

The recommendation engine behind Wildside. Domain model, OSM and Wikidata ETL, and relevance scoring as a Cargo workspace.

leynos/wildside-engine

Wireframe

Framework for building binary protocol servers and clients in Rust—think Actix Web, but for everything not HTTP. Message routing, framing, and backpressure included; bring your own transport.

leynos/wireframe

Zamburak

Prompt-injection defence for tool-using agents. Capability-based control- and data-flow policy enforced at runtime, following the CaMeL design.

leynos/zamburak

Apps

9 projects

Applications for desktop and browser. Products with a surface, not just a prompt.

Axinite

Local-first personal AI assistant. REPL, web gateway, webhooks, routines, and background jobs with sandboxed WASM tools.

leynos/axinite

Corbusier

AI agent orchestration that keeps canonical conversation and task history across backend handoffs. The best room, not the smartest agent.

leynos/corbusier

Episodic

Agentic podcast studio. Turns heterogeneous sources into scripted, mastered audio with a human in the loop for polish.

leynos/episodic

Gauss

Vector illustration with pervasive accessibility and scriptability. A GPUI editor with SVG import and export, plus undo history that remembers selections.

leynos/gauss

Ghillie

Estate-level status reporting. Ingests GitHub activity through a medallion pipeline and produces repository health reports.

leynos/ghillie

mxd

Hotline-style daemon for joyful file-sharing and retro chat. Tokio, Diesel, and Argon2 behind a protocol from 1997.

leynos/mxd

Repovec Appliance

Self-hosted appliance that indexes private repositories into a semantic search corpus. grepai and Qdrant, without leaving the building.

leynos/repovec-appliance

Velocetty

Modern, extensible terminal built on open web standards. A Hyper fork with a command-driven architecture, WebGL rendering, and a robust plugin system.

leynos/velocetty

Wildside

Serendipity for urban wanderers. Narrative walking routes from OpenStreetMap and Wikidata, shipped as a PWA with a Rust backend.

leynos/wildside

Games

2 projects

Playful worlds in executable form.

Lille

Overengineered real-time strategy. A dataflow-driven game loop built on DBSP, with optional Bevy rendering subsystems.

leynos/lille

Vibe Coder

Offline-first idle strategy about shipping software. Allocate effort across shipping, open source, quality, security, and marketing; a deterministic simulation decides what breaks.

leynos/vibe-coder

Skills

5 projects

Skill collections that teach coding agents the house style.

agent-helper-scripts

Bootstrap scripts, hooks, sub-agents, and a bundled skill collection for provisioning agent development environments across the estate.

leynos/agent-helper-scripts

novel-ralph-skill

Claude Code skill that writes novels under a Ralph Loop harness – treatment, beats, outline, draft, revision, repeat until done.

leynos/novel-ralph-skill

python-skill

Compact Python skill catalogue for coding agents: one router, focused language skills, a verification selector, and a quality-tools guide.

leynos/python-skill

rust-skill

Compact Rust skill catalogue for coding agents. Keeps the useful decision surfaces, drops the boilerplate.

leynos/rust-skill

visual-storytelling-skills

Agent skills for AI film production – from prose to picture. Continuity extraction, reference images, shot direction, and model-routed video prompts, with a TTS phoneticizer for good measure.

leynos/visual-storytelling-skills