A tool and ecosystem for collaborative knowledge synthesis

Automates attribution-graph analysis via probe prompting: circuit-trace a prompt, auto-generate concept probes, profile feature activations, cluster supernodes.

CLI toolkit that ingests qk-sniffer dumps, measures per-head positional predictability and attention plasticity, and exports CSV stats plus ready-to-share plots.

Chiral Narrative Synthesis workspace for Thinker/Tinker LoRA pipelines, semantic fact-checking, telemetry, and reviewer-ready CNS docs.

Scientific Infrastructure — reproducible research tooling: deterministic builds, CI pipelines, provenance, manifests, and executable verification.

URF Reproduce — end-to-end reproduction harness for Unified Rigidity Framework results, with deterministic environments, scripts, and verification logs.

Lean 4 library + CLI for rigorous bounds in transformer computations (mechanistic interpretability)

Deterministic, auditable Lean 4 + mathlib reasoning instrument (not an oracle): contracts, assumption surfacing, reduction scaffolds, dashboard + PDF reports.

This repository introduces an adaptive formula inspired by the CHSH logic, designed to evaluate, test, and improve model performance across multiple conditions. By adapting CHSH principles into a flexible structure, it provides a systematic way to analyze results, ensure reliability, and explore deeper insights in experimentation.

Automated RSS screening of academic papers using Claude Haiku for S2S climate research.

Digital twin & security validation toolkit for DV-QKD (BB84 + decoy)