formal-spec-extract-properties
Extract properties from a formal spec (TLA+/Lean/ProVerif) into AutoSpec's structured format. Classifies each property with id, statement, essence, and type. Works on formal-spec output or any existing formal spec.
Install / Use
npx skills add heytdep/autospecInstalls into whichever agent you are using.
SKILL.md
Installable skill definition
Quality Score
Category
Development & EngineeringSupported Platforms
Tags
Related Skills
1password
385.4kSet up and use 1Password CLI for sign-in, desktop integration, and reading or injecting secrets.
apple-reminders
385.4kList, add, edit, complete, or delete Apple Reminders and reminder lists via remindctl.
clawhub
385.4kSearch ClawHub for skills when a requested capability is not already available; install, verify, update, uninstall, publish, or sync skills.
coding-agent
385.4kDelegate coding work to Codex, Claude Code, or OpenCode as background workers; not simple edits or read-only code lookup.
Security Score
Audited on Aug 7, 2026