Deterministic Ai Python Packages

qwed

Open-source AI verification infrastructure for deterministic verification of LLM outputs, tool calls, code, schemas, and agent state before production execution.

csl-core

Find, prove and control the AI agents on your machines: discovers every agent and what it can reach, proves policies with Z3 + TLA+, enforces them deterministically outside the model.

bgts-context-engine

Deterministic code-graph context engine for AI coding agents - PostgreSQL + Apache AGE + pgvector, MCP & REST, no LLM in the loop.

ememdev

emem is the machine-maintained, external memory of our physical world a.k.a. Satellites for AI.

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.

emem-langmem

Satellites for AI. emem is the machine-maintained, external memory of our physical world.

junai-mcp

caddis — an opinionated Claude Code plugin for verification-first agentic development: phased TDD planning, cross-vendor code review, independent phase validation, and session continuity that survives context loss.

cortexm

Deterministic agent memory. μ=0. Free, local, forever. Mem0-compatible.

valoricore

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

dir-core

​A neuro-symbolic runtime architecture for AI agents. Enforces zero trust privilege separation between probabilistic LLM reasoning and deterministic kernel execution. Prevents agent drift with real-time invariants and decision telemetry for auditable autonomy.

context-m-langchain

Deterministic agent memory. μ=0. Free, local, forever. Mem0-compatible.

conservation-enforcer

⚡ FLUX bytecode conservation-law enforcement for LLM outputs — deterministic AI governance via bytecode policy layers

phionyx-pipeline-mcp

Agent self-claim gate — verifies what the agent says it did against the repository's actual diff. For Claude Code + MCP hosts.

condensate

Official Python Client for Condensate Memory System

neat-otel

Live code graph that fuses static analysis (tree-sitter) with OpenTelemetry runtime traces, queried over MCP so AI coding agents get real full-stack context.

iflow-mcp-gobbyai-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.

axiom-apex

Agent execution runtime with schema-validated tool plans, durable effects, recovery, and replay.

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.

svr-verify

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

opensymbolicai-core

Open Symbolic AI Core Repository

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

determ8

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

qisa-consensus-engine

Deterministic multi-perspective AI consensus engine with cryptographic trace verification and formal convergence guarantees.