Pinned Loading

1. iris iris Public

   Iris is a repository-first architectural modelling tool for creating and managing architectural elements, relationships, and models. It supports several notations including UML, ArchiMate, and C4 a…

   Python 7 3

2. gantry gantry Public

   Repo-driven pipeline for staged, gated processes. Capture the data once; render whatever document the gate asks for.

   JavaScript 1

3. agenticsnz/unsorry agenticsnz/unsorry Public

   Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

   Lean 42 12

4. guild-hall guild-hall Public

   Quest-based engagement platform where communities complete adventures, not checklists

   TypeScript 5 6

5. campaign-mode campaign-mode Public

   Work with a party of AI advisors with genuinely different perspectives.

   3

6. skills skills Public

   Simple repo containing claude skills I have created. Drop these into your .claude/skills directory.

   Shell 18 9