01Confidence-based reporting to distinguish between certain and speculative specs.
02Automated discovery of Vocabulary and Laws from types, assertions, and logic.
030 GitHub stars
04Standardized Term and Law Card generation for consistent domain documentation.
05Multi-phase workflow including discovery, card creation, and link mapping.
06Automated Grounding Map updates to link specifications with verification methods.