CodeLogician

Welcome to the documentation page for CodeLogician agent - your neurosymbolic agent for reasoning mathematically about source code!

Important: to use CodeLogician (and ImandraX) you need to get an Imandra Universe API Key here.