Releases

Amazon Managed Workflows for Apache Airflow (mwaa) implementation for FakeCloud

Amazon MSK (Managed Streaming for Apache Kafka, kafka) implementation for FakeCloud

Amazon MQ (mq) implementation for FakeCloud

Simulation and VCD-oriented utilities for generated Verilog/SystemVerilog

Accelerated Hardware Synthesis (XLS/XLSynth) via Rust

Amazon Elastic File System (elasticfilesystem) implementation for FakeCloud

HTTP API client for systemprompt.io AI governance infrastructure. Typed requests for CLIs and external services talking to a systemprompt.io deployment.

Accelerated Hardware Synthesis (XLS/XLSynth) via Rust (Native Library)

axum + SQLite projection backend for the kanade endpoint-management system. Hosts /api/* and the embedded SPA dashboard, projects JetStream streams into SQLite, drives the cron scheduler

Fuzzy and semantic search over a GraphQL schema (SDL, introspection JSON, or a live endpoint), plus a field-to-resolver jump.

Workspace coding tools and SDK tool adapters for Rho

Template provider traits for systemprompt.io AI governance infrastructure. Config-as-code foundation for the AI governance template registry.

Daox is a high-performance, Database-First DAO generator for Rust. It introspects MySQL, PostgreSQL, and SQLite schemas at compile time to produce strongly-typed API layers.

Embeddable, headless agent runtime for Rho

Shared wire types, NATS subject helpers, KV constants, YAML manifest schema, and teravars-backed config loader for the kanade endpoint-management system

Foundation data models for systemprompt.io AI governance infrastructure. Shared DTOs, config, and domain types consumed by every layer of the MCP governance pipeline.

End-user-facing Tauri Client App for the kanade endpoint-management system. Talks to the LocalSystem agent over the KLP Named Pipe (SPEC §2.12); presents a tray + window UI for notifications / health / self-service jobs.

Amazon Managed Service for Apache Flink (kinesisanalyticsv2) implementation for FakeCloud

AWS EKS (eks) implementation for FakeCloud

Compile-time extension framework for systemprompt.io AI governance infrastructure. Built on the inventory crate — registers schemas, API routes, jobs, and providers in the MCP governance pipeline.

Typed newtype identifiers (UserId, TraceId, AgentId, McpServerId…) for systemprompt.io AI governance infrastructure. Enforces type-safe IDs across every boundary in the MCP governance pipeline.

Provider trait contracts for systemprompt.io AI governance infrastructure. LlmProvider, ToolProvider, JobContext and friends — swap Anthropic, OpenAI, Gemini, and local models at profile level.

A two-tier proof engine, pure Rust: tier 4 checks a predicate against EVERY input in a bounded domain (exhaustive); tier 5 proves properties over UNBOUNDED, multi-variable domains (all of u64) via interval abstract interpretation, including function CONTRACTS (precond -> postcond) — Proven / Refuted-with-witness / honest Unknown, never a false result. no_std, no unsafe, no external solver. A first-party alternative to symbolic model checkers like Kani.

Trait-first interface contracts for systemprompt.io AI governance infrastructure. Repository, provider, and service abstractions shared across the MCP governance pipeline.

AWS MemoryDB (memorydb) implementation for FakeCloud

Ultra-fast retrosynthesis engine for computer-aided synthesis planning (CASP) — pure Rust, WASM-ready, Python bindings via PyO3

AWS Elastic Beanstalk (applications, versions, environments, configuration) implementation for FakeCloud

WebAssembly bindings for unitarrow-core (name reservation; spec in development)

Physical units and quantity semantics for Apache Arrow columns (name reservation; spec in development)

Python bindings for UnitArrow via pyo3-arrow (name reservation; spec in development)