Tags agentic-coding1 ai3 ai-agents3 binary1 bitshift1 claude-code1 coding-style1 elixir1 formal-methods1 harness3 harness-engineering3 kaizen1 llm3 math1 metrics1 model-based-testing1 observability2 quint1