{
  "version": "0.84.1",
  "generated_utc": "2026-05-08T23:24:07.565924+00:00",
  "metrics": {
    "test_count": 1635,
    "test_file_count": 122,
    "mcp_tool_count": 10,
    "mcp_action_count": 116,
    "source_file_count": 247,
    "source_line_count": 49659,
    "cli_verb_count": 79,
    "lean4_theorem_count": 872,
    "recipe_count": 9,
    "language_count": 7,
    "languages": [
      "Python",
      "JavaScript",
      "TypeScript",
      "Rust",
      "Go",
      "Swift",
      "Kotlin"
    ],
    "infra_cost": "$5/mo"
  }
}