Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
-
Updated
Oct 11, 2026 - Rust
Deterministic proof-carrying decision core with replay verification, WAL, and fixed-point budget proofs
Typed decisions from unstructured state: one forward pass, zero generated text. Local, deterministic, Jev-compatible. Not affiliated with typesafe.ai.
Windows overlay advisor for Teamfight Tactics in Rust: reads the Riot Live Client API, gives shop, economy, board, item and positioning advice, and ranks augments with a bandit model that learns from your placements.
Lana is an informational ecosystem for uncertainty-aware programming and auditable decision-making.
Advanced zero-token LLM decision engine in Rust synthesizing architectural breakthroughs from open-source Jev alternatives.
Middleware to ensure agents memorize decisions
A deterministic restraint and constitutional evaluation layer that ensures prediction does not obligate action.
? Tiny Decision - A Local Harness & Deployment Platform for System One Models. In-process GGUF/ONNX runtime, calibrated confidence, visual DAG pipelines, and MCP export.
Case-based decision engine in Rust, with an MCP server exposing it as eight tools over stdio. Markdown source of truth, SQLite + Tantivy index. The corpus stays private; the engine does not.
Route models. Not providers.
Compound decisions with System One models like Jev: ask small questions, combine the answers with rules you write in a decision graph. Rust library and CLI.
High-performance, headless Rust decision runtime based on Decision-Only Architecture v1.1. Combines deterministic rules, evidence verification, and bounded external semantic judgments without business action execution.
To associate your repository with the decision-engine topic, visit your repo's landing page and select "manage topics."