SGLang integration for Ananke. A compositional constraint system enabling verified code generation with structured outputs.

Constraint-driven code generation that transforms AI from probabilistic guessing into controlled search through valid program spaces.

A semantic contract language for human-AI collaboration in software development. Defining precise boundaries and expectations for AI-assisted coding.

AI-powered RPG platform where collaborative storytelling meets AI game mastering. Persistent narratives across cyberpunk and fantasy realities.

Claude Code skills and workflows optimized for context-efficiency. Curated skills spanning cloud infrastructure, design systems, and advanced mathematics.

Bidirectional translation through formal intermediate representations. Lifting and lowering code across abstraction levels with semantic preservation.