{"adoption": {"forks": 143, "observed_at": "2026-08-28T04:05:15.053145+00:00", "stars": 1638}, "canonical_url": "https://ross.abutalabs.com/products/quint", "card": {"archived": false, "artifact_type": "cli-tool", "description": "An executable specification language  with delightful tooling based on the temporal logic of actions (TLA)", "domain": ["programming-languages", "microservices", "developer-tools"], "enriched": true, "function": ["programming-language", "interpreter", "cli", "testing", "simulation"], "health_score": 97, "homepage": "https://quint.sh", "language": "TypeScript", "license": "Apache-2.0", "license_family": "permissive", "maturity": "active", "member_repos": ["quint-co/quint"], "name": "quint-co/quint", "platform": ["cli", "cross-platform"], "pushed_at": "2026-08-20T13:55:29+00:00", "repo": "quint-co/quint", "stars": 1638, "tags": ["specification-language", "tla-plus", "formal-verification", "model-checking", "model-based-testing", "apalache", "temporal-logic", "repl", "verification", "formal-methods", "algorithms", "nodejs"], "topics": ["language", "tlaplus", "quint", "apalache", "specification", "formal-methods", "verification", "specification-language"], "urls": [], "use_cases": ["write executable specifications for distributed systems", "verify protocol invariants before implementation", "find subtle concurrency bugs with model checking", "generate model-based tests from a system spec", "simulate system designs in a REPL", "modern alternative to TLA+ for formal methods"], "what_it_is": "Quint is an executable specification language based on the Temporal Logic of Actions (TLA+), designed for modeling and verifying the behavior of systems and protocols. It ships with a CLI, REPL, simulator, and integration with the Apalache model checker, letting teams run and verify specs to catch design bugs before implementation.", "when_to_avoid": ["you need a general-purpose programming language to build applications", "your team has no appetite for formal specification and verification", "you only need lightweight unit or integration testing of existing code"], "when_to_choose": ["designing consensus protocols or security-critical distributed systems", "you want runnable, verifiable specs instead of static design documents", "you prefer a modern, developer-friendly syntax over raw TLA+", "you need model-based testing derived from a specification"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/quint", "repo": "quint-co/quint", "role": "main", "score": 91}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:05:15.053145+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-30T03:46:38.836447+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "0fd6370e4096aa69ad65bdf500974aaf3a7405abeb8e8d54ca3bf5b85f981137", "fetched_at": "2026-08-28T04:05:15.053145+00:00", "kind": "readme", "missing": false, "url": "https://github.com/quint-co/quint"}, {"content_hash": "69f8c26d828ff025917f4207a5669cc6354f2778b7f4a69bcdf08c741cdbcd7e", "fetched_at": "2026-08-29T11:20:04.048251+00:00", "kind": "homepage", "missing": false, "url": "https://quint.sh"}, {"content_hash": "677fdb3ad0a93065238d8a6160f4d71c4944672f08c9b8f5b0a75f3e41f7fe59", "fetched_at": "2026-08-29T11:20:04.069409+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/language-basics"}, {"content_hash": "9b87af42493f9799010129d803e80b43f086dcc6a5e51a4c63e2a1441b00365e", "fetched_at": "2026-08-29T11:20:04.057412+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/getting-started"}, {"content_hash": "f4215dc71e42bf3e5155296c3c57e61ad1af5422dd66c78fcec113d4f9fabb4f", "fetched_at": "2026-08-29T11:20:04.059322+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/about"}, {"content_hash": "c86815c19adeb689c76b429b273a2a5630c5c5e511cce90a618b3f56aca05a03", "fetched_at": "2026-08-29T11:20:04.063781+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/why"}, {"content_hash": "e1862012d230a954acebfb67e84950194058146f197cfc83e3eb847e49d5f410", "fetched_at": "2026-08-29T11:20:04.065614+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/what-does-quint-do"}, {"content_hash": "782bccfa986c9dbd626e66d918f3bc1b03ece1091c3fc0d7098de4741f562040", "fetched_at": "2026-08-29T11:20:04.067405+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/use-cases"}, {"content_hash": "2636f95debf19f9a340ea38308b94bc687325d80aabcffa185af019ced5b979c", "fetched_at": "2026-08-29T11:20:04.071487+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/docs/lessons"}, {"content_hash": "f7a798bb2b517f7afb0bcb1c3d7ce901ca1b4e14a27ebd52d414700fe40de2bc", "fetched_at": "2026-08-29T11:20:04.061063+00:00", "kind": "site_page", "missing": false, "url": "https://quint.sh/faq"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 98, "longevity": 100, "rhythm": 77}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": [], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 1923, "days_push": 13, "days_rel": 155, "gap_med": 19.0, "n_releases_24m": 25}, "score": 91, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}