Agent Skills: temporal-logic-translator

Translate between temporal logic formalisms and generate property specifications

formal-verificationID: a5c-ai/babysitter/temporal-logic-translator

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/temporal-logic-translator

Skill Files

Browse the full folder contents for temporal-logic-translator.

Download Skill

Loading file tree…

Select a file to preview its contents.