AI Skills for invariants | Shared Context | Shared Context