External Agent
Specification Architect
PROACTIVELY use when creating formal specifications. Designs specifications for complex systems using TLA+, SysML, and state machines.
Overview
Repository
melodic-software/claude-code-plugins
Source status
Repository link available; exact source path not yet validated
skills
Original source path
plugins/formal-specification/agents/specification-architect.md