Skip to content
@qualixar

Qualixar

AI Reliability Engineering — formal contracts, behavioral testing, and drift detection for production AI agents.
README.md

Qualixar

Mathematically-Grounded Infrastructure for Reliable AI Agents


7 published papers · 7 live products · 10 research initiatives

Website arXiv ORCID

The Problem

2.4 million AI agents in production. Zero standard methodology for verifying they work correctly. Agents leak data, exceed budgets, drift from instructions, and fail in ways no one predicted.

Every framework helps you build agents. We make them reliable — with math, not marketing.

Products

Product What It Does Install Links
agentAssert Design-by-Contract for AI agents. 12 domain contracts, 293 benchmarks, Θ=0.9541 pip install agentassert-abc[yaml,math] arXiv Web
AgentAssert Type-C Zero-code behavioral contracts via HTTP proxy. 7 operators, JSD drift detection, Θ reliability scorer pip install agentassert-typec-proxy arXiv PyPI
SuperLocalMemory Privacy-first AI agent memory. 74.8% LoCoMo, zero cloud, Fisher-Rao retrieval npm i -g superlocalmemory arXiv Web
SkillFortify Supply chain security for AI agent skills. 22 frameworks, 96.95% F1, 0% FP pip install skillfortify arXiv PyPI
AgentAssay Token-efficient regression testing for non-deterministic agents. ~83% cost reduction pip install agentassay arXiv
SLM MCP Hub First MCP gateway that learns. Intelligent federation, caching, cost tracking pip install slm-mcp-hub PyPI npm
SLM Mesh P2P communication for AI coding agents. 8 MCP tools, <100ms delivery npm i -g slm-mesh npm
Qualixar OS Universal agent operating system. 25 commands, every transport, every IDE Coming soon arXiv Zenodo

Research — 7 Published Papers

# Paper Venue Product
1 The Living Brain — Biologically-Inspired Forgetting, Cognitive Quantization, Multi-Channel Retrieval arXiv:2604.04514 SuperLocalMemory V3.3
2 Information-Geometric Foundations for Zero-LLM Enterprise Agent Memory arXiv:2603.14588 SuperLocalMemory V3
3 Privacy-Preserving Multi-Agent Memory with Bayesian Trust Defense arXiv:2603.02240 SuperLocalMemory V2
4 Agent Behavioral Contracts — Formal Specification and Runtime Enforcement arXiv:2602.22302 agentAssert
5 Formal Verification for Agent Skill Supply Chain Security arXiv:2603.00195 SkillFortify
6 Token-Efficient Regression Testing for Non-Deterministic AI Agents arXiv:2603.02601 AgentAssay
7 A Universal Agent Operating System arXiv:2604.06392 Qualixar OS

Conference targets: NeurIPS 2026, ASE 2026, AAMAS 2027, ICSE 2027.

In Development

Codename Focus Area
Project Echo Multi-agent communication degradation benchmarks
Project Sentinel Reliability analysis for AI-generated code
Project Rewind Time-travel debugging for autonomous agents
Project Aurora Chaos engineering for AI agent systems

Quick Start

# Agent behavioral contracts — 12 domains, 293 benchmarks
pip install agentassert-abc[yaml,math]

# Zero-code behavioral contracts via proxy — works with any LLM provider
pip install agentassert-typec-proxy

# AI agent memory — works with Claude Code, Cursor, 17+ tools
npm install -g superlocalmemory

# Agent skill security — scan 22 frameworks in one command
pip install skillfortify && skillfortify scan

# MCP gateway that learns — federate 30+ MCP servers, one endpoint
pip install slm-mcp-hub && slm-mcp-hub start

# P2P agent communication — agents discover + message each other
npm install -g slm-mesh && slm-mesh start

Philosophy

  • Every tool is backed by published, peer-reviewed research — not blog posts
  • We solve problems with mathematical proofs — not heuristics
  • Every product is open-source and framework-agnostic
  • Privacy-first: your data stays on your machine

Websites

Site What's There
varunpratap.com Author portfolio — all products, 7 papers, blog
agentassert.com agentAssert — benchmarks, contracts, getting started
superlocalmemory.com SuperLocalMemory — architecture, integrations, research landscape
qualixar.com Platform hub — all products, documentation

Get Involved

An independent research initiative by Varun Pratap Bhardwaj

Senior Manager & Solution Architect at Accenture · 15 years across 6 industries

LinkedIn X Email

We don't just identify problems in agent development. We prove solutions.

Popular repositories Loading

  1. superlocalmemory superlocalmemory Public

    World's first local-only AI memory to break 74% retrieval and 60% zero-LLM on LoCoMo. No cloud, no APIs, no data leaves your machine. Additionally, mode C (LLM/Cloud) - 87.7% LoCoMo. Research-backe…

    Python 188 25

  2. qualixar-os qualixar-os Public

    Qualixar OS: The Universal OS for AI Agents. Claw-compatible. 12 topologies, Forge AI team designer, 24-tab dashboard, skill marketplace. PAPER: https://arxiv.org/abs/2604.06392

    TypeScript 34 4

  3. skillfortify skillfortify Public

    First formal security scanner for AI agent skills & plugins. Static analysis, supply chain verification, SBOM generation. 22 frameworks supported including MCP, LangChain, CrewAI.

    Python 26 1

  4. slm-mesh slm-mesh Public

    Peer-to-peer communication for AI coding agents. 8 MCP tools, full CLI, Python client. Part of the Qualixar research initiative by Varun Pratap Bhardwaj.

    TypeScript 19 3

  5. agentassay agentassay Public

    Token-efficient stochastic testing for AI agents. 5-20x cost reduction. 10 framework adapters. Paper: arXiv:2603.02601

    Python 5 1

  6. slm-mcp-hub slm-mcp-hub Public

    The world's first MCP gateway that learns — intelligent federation, caching, cost tracking, and SLM memory integration

    Python 5 3

Repositories

Showing 10 of 16 repositories
View all 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…