Skip to content
@qualixar

Qualixar

AI Reliability Engineering — open-source tools for agent decisions, bounded loops, memory and behavioral contracts. 10 products · 10 arXiv preprints.

Qualixar — AI Reliability Engineering

Qualixar — AI Reliability Engineering

Open-source tools for AI agent decisions, memory, behavioral contracts and bounded execution. Qualixar is an independent research initiative by Varun Pratap Bhardwaj.

10 core products · 10 public arXiv preprints

Choose a starting point

Your task Product Start here
Choose a task, tool or review route from explicit options Jev Decision Layer Decision recipes and setup
Run an agent loop until an independent check passes, within declared limits Bounded Loops & Graphs Keyless example and receipt verification
Store project context and recall it across AI sessions SuperLocalMemory Install and try a local memory workflow
Define behavioral contracts and check adapter outputs AgentAssert Released API and getting started

Jev returns advisory decisions; its answer does not authorize an action. Bounded Loops' first keyless example uses a stub worker and real pytest checks. SuperLocalMemory's optional providers and connectors have separate network behavior. AgentAssert's small example checks a caller-supplied flag; it is not a security classifier.

Try a product

# Bounded Loops: install a loop in your project and run its keyless example
python -m pip install bounded-loops
bl loops install bug-fix-red-green --dest ./loops
bl run loops/bug-fix-red-green --yes --run-id first-proof

# SuperLocalMemory: install, then select your operating mode explicitly
npm install -g superlocalmemory
slm setup

# AgentAssert: install the YAML and mathematical dependencies
python -m pip install 'agentassert-abc[yaml,math]'

For Jev, follow the host-specific installation guide. Check each repository's supported platforms and setup requirements before installation.

Research and reproducible examples

Read Qualixar's research directory alongside each product's source and examples. Public arXiv papers are preprints; an arXiv record does not establish peer review. Mathematical results and experiment figures apply to the assumptions, datasets and versions described in each paper.

Ask, propose, and share

Use the Qualixar community hub:

  • Q&A: installation, configuration and usage questions.
  • Ideas: describe a task and the workflow you want to improve.
  • Polls: help prioritize tutorials and examples.
  • Announcements: maintainer updates and release links.
  • Show and tell: share an integration and what you observed.

Report reproducible bugs in the affected product's issue tracker. Follow the repository's published security-reporting instructions where available; do not post vulnerabilities, secrets, private prompts or customer data publicly. See the community guide.

If a product helps your work, starring its repository is one way to follow it. Using the tools and participating in discussions does not require a star.

All 10 products

Choose the capability your workflow needs, then follow the setup, examples or research in Resources. Product names link directly to the source repositories.

Product Description Focus When to use it Resources
Jev Decision Layer Returns advisory choices from explicit options, with reasons, constraints and decision receipts. Decision routing Choose a task, tool, model tier or review route. Product
Recipes
Guide
Bounded Loops Runs agent loops and graphs within declared limits; independent gates check completion and hash-chained ledgers record results. Verified execution Fix failing tests or repeat a workflow until its acceptance check passes. Product
Recipes
Proof
SuperLocalMemory A governed memory control plane combining persistent context, multi-channel retrieval, knowledge graphs and workspace isolation. Memory & governance Carry project knowledge across agent sessions while controlling access, retention and context. Product
Workflows
Research
SLM MCP Hub Federates MCP servers behind three discovery-and-call tools, with shared backends and on-demand tool lookup. Tool federation Connect multiple clients to many servers without loading every tool definition up front. Product
Setup
Routing
SkillFortify Scans agent skills and MCP configurations using capability analysis, dependency checks and supply-chain reports. Skill security Inspect skills before installation and add security checks to your delivery pipeline. Product
Guide
Synthetic benchmark
AgentAssert Defines behavioral contracts and enforces hard or soft constraints against application-supplied agent state. Runtime contracts Check permissions, limits and required signals at an action boundary. Product
Templates
Guide
AgentAssay Measures behavioral regressions with execution traces, statistical verdicts and adaptive trial budgets. Testing & measurement Compare agent behavior after changing prompts, models or tools; reuse existing traces. Product
Guide
Paper
Agent Amplifier Adds effort routing, goal anchoring, convergence checks and token budgets to coding-agent sessions. Coding runtime Keep coding sessions focused and manage effort through supported host adapters. Product
Setup
Post
SLM Mesh Connects agents across harnesses with peer messages, shared state and advisory file locks, locally or across a LAN. Agent coordination Coordinate work between agent sessions on one computer or multiple networked machines. Product
Setup
Post
Qualixar OS Designs and runs agent teams, evaluates outputs through a judge pipeline, and retries with structured feedback. Orchestration & judging Run multi-agent tasks with quality review, model routing and budget tracking. Product
Setup
Post

Use each repository’s setup guide for supported hosts and operating modes. Benchmark results apply to their published datasets and protocols; the SkillFortify benchmark linked above uses generated specimens.

All 10 research papers

These public arXiv records are preprints. Read each paper for its assumptions, version, experimental scope and limitations. Listing a paper beside a product does not establish that every current feature was evaluated in that paper.

Paper arXiv Related project
Bounded Loops: Pre-Run Spend Bounds, Proved Termination, and Verified Completion for Agent Harnesses 2609.27871 Bounded Loops
Agent Behavioral Contracts II: Certifying Compositional Reliability Without Assuming Independence 2608.12895 AgentAssert
SuperLocalMemory 4.0: The Governed Memory Operating System for AI Agents 2608.08253 SuperLocalMemory
Qualixar OS: A Universal Operating System for AI Agent Orchestration 2604.06392 Qualixar OS
SuperLocalMemory V3.3: The Living Brain -- Biologically-Inspired Forgetting, Cognitive Quantization, and Multi-Channel Retrieval for Zero-LLM Agent Memory Systems 2604.04514 SuperLocalMemory
SuperLocalMemory V3: Information-Geometric Foundations for Zero-LLM Enterprise Agent Memory 2603.14588 SuperLocalMemory
AgentAssay: Token-Efficient Regression Testing for Non-Deterministic AI Agent Workflows 2603.02601 AgentAssay
Formal Analysis and Supply Chain Security for Agentic AI Skills 2603.00195 SkillFortify
Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents 2602.22302 AgentAssert
SuperLocalMemory: Privacy-Preserving Multi-Agent Memory with Bayesian Trust Defense Against Memory Poisoning 2603.02240 SuperLocalMemory

Qualixar · SuperLocalMemory · AgentAssert · Author and research

Pinned Loading

  1. bounded-loops bounded-loops Public

    Bounded Loops & Graphs: 69 agent loops (65 keyless), 7 reference graphs, independent gates, declared bounds, verifiable receipts. Paper: arXiv:2609.27871

    Python 4 1

  2. superlocalmemory superlocalmemory Public

    Open-source governed, local-first memory control plane for AI agents and teams. arXiv:2608.08253

    Python 227 37

  3. agentassert-abc agentassert-abc Public

    Runtime behavioral contracts for AI agents: define YAML contracts, check adapter outputs, and raise explicit contract violations. Agent Behavioral Contracts (ABC).

    Python 7 1

  4. jev-decision-layer jev-decision-layer Public

    Open-source decision layer for AI agents. Typed task, tool, skill and review routing through TypeSafe Jev, with local policy gates and auditable receipts.

    Python 2 1

Repositories

Showing 10 of 18 repositories

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…