All tags
Catalogue tag

#invariants

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

4 records
Tagged “invariants”Ranked by health index
crates.io
83Excellenthealth index
greyblake/nutype
Rust newtype with guarantees 🇺🇦 🦀
Rust★ 1,768↓ 1.2M/moSep 6, 2026
MITSep 6, 2026 · metrics 2.10.0
PyPI
62Moderatehealth index
james-sheen/arbiter
A detection engine that reports what it did not check. Eight axiom families over a domain model declared in YAML, with every declined evaluation recorded as a machine-readable reason.
Python★ 0↓ 3,998/moSep 26, 2026
Apache-2.0Sep 26, 2026 · metrics 2.10.0
npm
59Moderatehealth index
BenAHammond/code-auditor-mcp
Architectural invariants and code quality analysis, enforced inside your AI agent's edit loop. MCP server + CLI + Claude Code plugin. TypeScript, JavaScript, Go.
TypeScript★ 7↓ 3,465/moSep 13, 2026
MITSep 13, 2026 · metrics 2.10.0
npm
59Moderatehealth index
sdsrss/sgc
All-in-one engineering workflow & knowledge engine for Claude Code. One-command install, runs standalone (Node >=18, no bun). L0-L3 task classification, 13 runtime invariants, code review, browser QA, security audit, and a deduplicated knowledge base that compounds across tasks.
TypeScript · JavaScript★ 2↓ 125/moSep 12, 2026
MITSep 12, 2026 · metrics 2.10.0