A neuro-symbolic Python framework for building LLM-powered apps with composable semantic primitives and contracts.