Popular repositories Loading
Repositories
- casegraphen Public
Deterministic control plane for evidence-backed case graphs: an LLM proposes, CaseGraphen decides. Append-only morphism log, gated mutations, and worker dispatch that never promotes untrusted output to accepted state.
- advisorygraphen Public
Evidence-backed advisory structure, CLI contracts, and projections for technical advisory workflows.
- higher-graphen Public
AI-operated software development substrate for case graphs, evidence, obstructions, completions, and projections.
- claude-marketplace Public
- TemporalKit Public
A Swift framework for expressing, evaluating, and model-checking temporal logic formulas, with a focus on Linear Temporal Logic (LTL).
- harness-attribution Public
Harness Attribution: causal-inference methodology and tooling (hattr) for attributing LLM output changes to harness factors (prompts, RAG, specs) via counterfactual conditions, envelope subtraction, and pre-registration.
- casegraph Public
Local-first, CLI-first case graph for work with dependencies, waits, evidence, and AI patch proposals.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…