Agentic 123B coding model optimized for large-scale engineering
Versatile 8B-base multimodal LLM, flexible foundation for custom AI
A coding style checker tool support C/C++ syntax
Solve Differential Equations
Kammerjäger is a debugging tool with integrated correctness proving.