Deterministic Ai Python Packages

gobby

The bottleneck in AI coding isn't the model: It's the babysitting. Gobby is a local daemon that turns a task into a PR across Claude Code, Codex, Gemini, Qwen, and Droid. Stage dispatch, hook-time rules, progressive MCP proxy, and more. Gobby built Gobby: ~5K commits, ~15K completed tasks and counting.

valoricore

Valori is a Deterministic Memory OS that sits between intelligence (LLMs) and reality (devices, products, decisions).

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.

qwed

A deterministic verification layer for AI systems. QWED verifies AI outputs using mathematics, symbolic reasoning, and formal methods (Z3, SMT, SymPy), creating an auditable trust boundary for agentic AI. Not generation. Verification.

svr-verify

Signed Verification Receipts for deterministic AI verification: CPU-only, Ed25519-signed, reproducible, independently verifiable.

opensymbolicai-core

Open Symbolic AI Core Repository

phionyx-pipeline-mcp

Phionyx self-governance gate for Claude Code — three-layer verification (LLM declaration → git diff truth → deterministic gate) over the agent's own 'fixed / tested / changed' claims. v0.3.0 adds opt-in evidence binding: the require_tool directive (a factual claim without same-turn evidence must bind a tool first) and continuity binding (catches 'read-but-not-bound'). Both default-OFF / non-regressive; detector calibration is not yet validated.

axiom-apex

Deterministic, self-improving AI agent execution harness and runtime for the AXIOM ecosystem. Enforces plan-deterministic execution, parallel swarm orchestration, and signal-level sandboxing.

condensate

Official Python Client for Condensate Memory System

csl-core

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

qwed-infra

Deterministic verification layer for infrastructure as code. Verifies AWS IAM policies, network reachability, and cost estimates before deployment — sits between AI agents and cloud execution. Powered by Z3 and NetworkX.

determ8

Determ8: the deterministic gate for agentic systems. The agent proposes, the pipeline proves. Open core by Tech4Biz.

cognitive-orchestra

USD Composition Semantics for AI Agent Orchestration - A 7-agent async orchestration system applying Pixar's LIVRPS composition semantics to cognitive state management

santok

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

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

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