Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.
Use this skill when the user asks to save, remember, recall, or organize memories. Triggers on: 'remember this', 'save t...
Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞