Cherified/Guru

Guru appears to be a specialized research artifact or a personal project aimed at the formal verification niche, specifically targeting the CHERI (Capability Hardware Enhanced RISC Instructions) ecosystem. With only 9 stars and 1 fork over nearly a year, the project has zero market traction or community momentum. While the underlying domain (formal hardware verification) is technically deep, this specific project lacks the documentation, ecosystem, and adoption required to be considered a viable tool for external developers. It competes with more established hardware verification frameworks like Kami (built in Coq) or Bluespec. The 'defensibility' is low because it is a thin layer of abstraction over Rocq without a unique data moat or network effect. Frontier labs (OpenAI/Anthropic) are unlikely to enter this hyper-specific formal hardware verification space directly, as they focus on broader code generation and reasoning capabilities rather than specific Coq-based hardware DSLs. The project is effectively a 'code dump' of an academic experiment.