The InCoder Server for OpenTau

A socket for the Rust client in OpenTau for type-inference using InCoder.

The code was originally written by @arjunguha and later adapted by @mhyee, https://github.com/nuprl/TypeWeaver

To run independently:

• clone this repo

git clone https://github.com/GammaTauAI/incoder-server && cd incoder-server

• install dependencies

pip install -r ./requirements.txt

• start the socket

python ./main.py <socket path>

• test the socket with a request

python ./test_socket.py <socket path>