Chris decided the best way to solve the world’s problems was to turn everything into a quest.
Join the community: 
- promoting applied agentic engineering and sovereign AI practice, education, and innovation across Aotearoa.
Read the blog: 
- rethinking everyday work and life as a series of engaging quests.
Current Projects
Iris
A repository-first architectural modelling tool — your architecture as data, not diagrams.
Iris (Integrated Repository for Information & Systems) is for creating and managing architectural elements, relationships, and models — all held in a knowledge graph you can explore end to end. It supports several notations including UML, ArchiMate, and C4, with full conversion from Sparx EA.
Diagrams are views onto the repository rather than the source of truth, so your models stay consistent as they grow — and an MCP server lets AI agents query and extend the repository directly.
unsorry
Autonomous agents proving theorems in Lean 4 — SETI@Home, but for maths proofs.
A swarm of LLM agents picks open theorems, writes proof attempts in Lean, and submits them to a machine that never accepts a hand-wave. Git is the queue, the kernel is the gate, and no sorry survives. Failed proofs get split into smaller sub-goals and sent back to the swarm; verified ones join a growing library that makes every future proof easier.
Mathematics treated like software: agents write the code, Lean is the compiler, and only correct code gets merged.
Campaign Mode
Work with a party of AI advisors with genuinely different perspectives.
Inspired by Dr Simon McCallum’s Six Animals framework, Campaign Mode recruits six psychologically-grounded AI advisors to challenge your assumptions, surface your blind spots, and stress-test your work before it matters. Frame your work as a quest, face the Dragon, and come out with something you’re genuinely proud of.
Available as a plugin for Claude Desktop and Claude Code.
Guild Hall
Quest-based engagement platform where communities complete adventures, not checklists.
Guild Hall is where Game Masters design quests for their communities, and community members actually complete them. Browse the Bounty Board, accept a quest, submit evidence, earn points, unlock badges, and progress through skill tiers from Apprentice to Legend.
Whether you run a meetup, a learning community, or a team, Guild Hall turns participation into adventure.
What else?
Check out the other stuff Chris has cooked up.
Built by Chris Barlow. Quests, not goals.