Search Packages

pdd-cli

Prompt Driven Development Command Line Interface

raise-cli

RaiSE Framework — Reliable AI-assisted Software Engineering. Lean methodology + deterministic toolkit for building production software with AI.

running-ng

Running next generation

autotuning-methodology

This software package accompanies the paper "A Methodology for Comparing Auto-Tuning Optimization Algorithms" (https://doi.org/10.1016/j.future.2024.05.021), making the guidelines in the methodology easy to apply.

kb-manager

A minimalist command line knowledge base manager

cgd-verify

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

cgd-validator

Validator for Clarity-Gated Document (.cgd) files - verified documents for safe LLM ingestion

sot-validator

Validator for Source of Truth (.sot) files - epistemic quality verification for AI-safe documentation

sot-verify

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

cgd-creator

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

cgd-generator

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

clarity-gate

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

memory-trail

Decision memory and session logging for AI-assisted development - track architectural decisions across sessions

sot-generator

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

sot-creator

Stop LLMs from hallucinating your guesses as facts. Clarity Gate is a verification protocol for your documents that are going to be provided to LLMs or RAG systems. Place automatically the missing uncertainty markers to avoid confident hallucinations. HITL for non-directly verifiable claims.

pathcore-t

Methods to build a network of pathway co-occurrence relationships out of expression signatures extracted from transcriptomic compendia.