Skip to content
View noctem-o's full-sized avatar
  • recension-research
  • United Kingdom

Highlights

  • Pro

Block or report noctem-o

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
noctem-o/README.md

George Gallagher

Exploring AI safety and accountability through local-first systems. I build experimental tools for inspectable agent memory, explicit permissions, and verifiable execution records.

Magpie · Deadbolt · Cogitator


I’m interested in systems people can inspect: where a remembered claim came from, what a check actually established, and who authorised an action. My work explores these questions through small, testable implementations.

Selected projects

Project Focus
Magpie A replayable memory kernel for AI systems. Signed history, explicit evidence, and policy-defined conclusions.
Deadbolt A permission engine for AI-operated systems. Models propose actions; authority remains outside the model.
Cogitator A Rust recorder and verifier for agent runs, with tamper-evident records and reproducible verification.

These are experimental research projects, developed with an emphasis on clear boundaries, adversarial testing, and documented limitations.

Pinned Loading

  1. magpie magpie Public

    Local-first, replayable memory for AI systems. Signed history, provenance, deterministic replay, and explicit policies for what evidence is allowed to conclude.

    Rust

  2. endophasia endophasia Public

    Forked from earendil-works/pi

    Instrumented cognition for coding agents — a Pi-based workbench for live runtime traces, continuity, steering, inspection, and governed experimentation.

    TypeScript

  3. deadbolt deadbolt Public

    A local-first permission engine for AI-operated systems. Typed authority, explicit consent, bounded execution, receipts, and rollback.

    Rust

  4. cogitator cogitator Public

    Tamper-evident AI agent audit harness. Cryptographic witness chain, pre-call policy interception, and byte-stable replay. Prove what your agent did, tried to do, and was blocked from doing. Written…

    Rust