Location

A Python code execution sandbox based on IPython and Docker. Stateful code execution, file transfer between host and container, configurable network access.

Bridges with Discord channels for automated messaging, user interaction, and response handling.

Integrates with the Garmin Connect API to retrieve and analyze personal fitness data, enabling detailed tracking of health metrics like sleep, steps, activities, and heart rate.

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

AI writes code. Riza runs it. Make your AI applications more powerful and reliable by giving LLMs the ability to run code. Fast, secure & API-first. Code starts running in <10ms. No sandbox start-up or deploy needed.

Integrates with the Serper API to perform web searches, enabling efficient retrieval and processing of up-to-date web content for applications.