Pinned Loading

1. AI-Blueprint-for-New-Zealand AI-Blueprint-for-New-Zealand Public

   Crowd-sourcing an AI Blueprint for New Zealand, because why not?

   3 2

2. 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.

   Python 22 7

3. 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 5 2

4. guild-hall guild-hall Public

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

   TypeScript 5 5

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 17 9