Hello,
Symbolica released Agentica whose premise is
code is the most expressive interface through which models can interact with their environment
They advertise here
the framework enforces your types at runtime
I think studying their case-studies is a good exercise for the community here, especially that we have Imandra and Raven for AI.
I’d be happy to discuss anyone’s thoughts.