Results for “invariant-labs”

Analyzes type design for encapsulation, invariant expression, usefulness, and enforcement, providing scores and improvement suggestions.

Define owned inductive invariants and enforce them at parse, construct, API, DB, lock, or transaction boundaries, with counterexample-driven verification.

Stores immutable data on-chain using IQ Labs tech stack including IQDB, hanLock, and x402.

Ingests case studies, past proposals, and boilerplate from library/inbox into structured indexes. Use when the user requests to 'index proposal library', 're-index case studies', 'ingest inbox docs', or 'validate library'.

Human-in-the-loop web studio to tune AI-generated output by eye. Stand up a local interactive studio (sliders, pickers, drag handles) or an inline edit/highlight/comment annotation studio for prose & media, instead of guessing values or shipping a static comparison grid.

Design and validate digital filters in MATLAB. Use when cleaning up noisy signals, removing interference, filtering signals, designing FIR/IIR filters (lowpass/highpass/bandpass/bandstop/notch), or comparing filters in Filter Analyzer.

Builds an interactive in-browser studio for tuning visual parameters (sliders, pickers, drag handles) or editing/annotating text and media, enabling real-time human-in-the-loop refinement instead of static comparisons or chat-based feedback.

A complete tour of the intelli-verse-x 5-layer stack — Leantime/GitHub at the top, Beads/Bernstein/Claude-Squad in the middle, Gas Town as the multi-project fabric, and LiteLLM/Infisical/Langfuse/n8n/GH-Actions underneath. Use whenever the user asks "what does X service do", "where does Y data live", "how do I get to Z", or you need to understand which tool to reach for. This is the architecture map.

Defines a design system for ElevenLabs with colors, typography, layout, and component tokens for building brand-consistent interfaces.

Hard Negative Mixing for Contrastive Learning

Applies medicinal-chemistry filters with the medchem library — drug-likeness rules (Lipinski, Veber), PAINS filters, structural alerts, and molecular complexity metrics for compound prioritization and library cleanup. Use when filtering or triaging a compound library, flagging PAINS or reactive groups, or assessing drug-likeness of candidate molecules. Part of the AlterLab Academic Skills suite.

Type design analysis — encapsulation, invariant expression, usefulness, and enforcement.

Human-in-the-loop web studio to tune AI-generated output by eye. Stand up a local interactive studio (sliders, pickers, drag handles) or an inline edit/highlight/comment annotation studio for prose & media, instead of guessing values or shipping a static comparison grid.

Builds interactive in-browser studios for tuning visual parameters or editing and annotating text and media, enabling direct manipulation instead of static comparisons.

Complete PortSwigger deep-dive with exact payloads for every lab variant including zero-day techniques