Kammerjäger is a debugging tool with integrated correctness proving.
Fast Small Oracle Remote Database Analyzer
High-compute ultra-reasoning model surpassing model surpassing GPT-5
Self-evolving AI model for agents, coding, and complex workflows
Lightweight 24B agentic coding model with vision and long context
Set of useful tools for payment service development