requirements engineering agents

paulasilvatech/specky

Agent

Use this agent to orchestrate contracted implementation planning, executable tests, and enabled infrastructure/development capabilities.

paulasilvatech/specky

Agent

Default entry point and interactive wizard for Specky SDD. Detects project context, explains the plugin, guides through project type selection, work mode, and branch setup. Triggered when user says "specky" without specifics.

paulasilvatech/specky

Agent

Master agent that coordinates the selected feature's signed phase graph, routes lean agents, validates evidence, and enforces configured gates.

vladm3105/aidoc-flow-framework

Agent

Use this agent when decomposing, analyzing, and validating requirements across the SDD workflow. Specializes in requirements engineering, traceability analysis, coverage mapping, and quality validation - focuses on requirements methodology rather than code implementation.

itdojp/ae-framework

Agent

The Formal Agent is a critical component of the ae-framework that bridges Phase 1 (Intent) and Phase 3 (Tests) by converting requirements into formal, verifiable specifications. It provides comprehensive capabilities for generating, validating, and model-checking formal specifications across multiple notations and…

itdojp/ae-framework

Agent

The Intent Agent is a core component of the ae-framework Phase 1, responsible for requirements gathering, analysis, and intent extraction from multiple sources. It transforms raw requirements into structured formats that feed into subsequent phases of the architectural engineering process.

itdojp/ae-framework

Agent

The Operate Agent is the final phase in the ae-framework's 6-phase cycle (Intent→Formal→Tests→Code→Verify→Operate). It handles production operations, monitoring, and optimization to ensure deployed systems run reliably, efficiently, and securely.