InfraVM

InfraVM is a C11 virtual machine/runtime for AIF files. It loads compiled AI infrastructure objects, resolves PointRun execution, prints/debugs runtime state, and includes simple provider connector stubs plus an OpenAI HTTPS connector.

Requirements

• Git
• C compiler: clang or gcc
• Make
• libcurl development headers

macOS

xcode-select --install
brew install make curl

Ubuntu/Debian

sudo apt-get update
sudo apt-get install -y build-essential make libcurl4-openssl-dev git

Windows

Use WSL2 Ubuntu and follow the Ubuntu setup. Native MSVC support is not the primary target yet.

Build

git clone https://github.com/TangibleResearch/InfraVM.git
cd InfraVM
make -C infravm

The binary is created at:

infravm/infravm

Run

Provide an AIF file generated by the AIF/AInfra compiler:

./infravm/infravm path/to/object.aif

Run a specific object:

./infravm/infravm path/to/object.aif run:1
./infravm/infravm path/to/object.aif agent:helper

OpenAI Connector

InfraVM reads OpenAI keys from the environment only:

export OPENAI_API_KEY="..."
./infravm/infravm path/to/openai-object.aif

No API keys are hardcoded or stored in the repo.

Optimizer

The repo includes the C optimizer library under optimizer/c. The VM Makefile builds it into the runtime.

CI/CD

GitHub Actions in .github/workflows/ci.yml installs native dependencies, builds the VM, and verifies the binary exists.

License

MIT