Search Packages

gobby

A local-first daemon to unify your AI coding tools. Session tracking and handoffs across Claude Code, Gemini CLI, Qwen CLI, and Codex. An MCP proxy that discovers tools without flooding context. Task management with dependencies, validation, and TDD expansion. Agent spawning and worktree orchestration. Persistent memory, extensible workflows, and hooks.

csl-core

Deterministic policy language for AI agents. Z3 + TLA+ dual-engine formal verification. Runtime enforcement <1ms.

qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

junai-mcp

junai is 'Just Un-AI' routing with full AI power. Your agents stay smart. Your pipeline stays predictable. Deterministic agent pipeline for VS Code + GitHub Copilot. A Python state machine routes 23 specialised AI agents through 9 stages — no hallucinated routing, git-blameable transitions.

opensymbolicai-core

Build LLM-powered systems as typed, testable Python software — not prompt strings

condensate

Official Python Client for Condensate Memory System

santok

Comprehensive Text Processing System: Tokenization, Embeddings, Training, Vector Stores, and More

axiom-apex

Plan-deterministic agent runtime. Schema-validated execution contracts, bounded tool invocation, blast-radius policy enforcement, and benchmark-driven self-optimization (BDSO). Python 3.11+ · Gemini 2.5 Flash · MIT

iflow-mcp-gobbyai-gobby

A local-first daemon to unify your AI coding tools. Session tracking and handoffs across Claude Code, Gemini CLI, and Codex. An MCP proxy that discovers tools without flooding context. Task management with dependencies, validation, and TDD expansion. Agent spawning and worktree orchestration. Persistent memory, extensible workflows, and hooks.

qisa-consensus-engine

Deterministic multi-perspective consensus engine with fixpoint convergence, auditability, and categorical coherence metrics.

santok-complete

Deterministic reasoning substrate for LLM-based systems