cortexweaver/dist/agents/formalizer/formalizer-agent.d.ts

CortexWeaver is a command-line interface (CLI) tool that orchestrates a swarm of specialized AI agents, powered by Claude Code and Gemini CLI, to assist in software development. It transforms a high-level project plan (plan.md) into a series of coordinate

import { Agent, TaskResult } from '../../agent';
export interface OpenApiSpec {
    openapi: string;
    info: {
        title: string;
        version: string;
        description?: string;
    };
    servers?: Array<{
        url: string;
        description?: string;
    }>;
    paths: Record<string, any>;
    components?: {
        schemas?: Record<string, any>;
        securitySchemes?: Record<string, any>;
    };
    security?: Array<Record<string, any>>;
}
export interface JsonSchema {
    type: string;
    required?: string[];
    properties?: Record<string, any>;
    additionalProperties?: boolean;
    description?: string;
}
export interface PropertyTestStub {
    name: string;
    description: string;
    properties: string[];
    invariants?: string[];
    preconditions?: string[];
    postconditions?: string[];
}
/**
 * FormalizerAgent - Refactored with simplified implementation
 *
 * Generates formal specifications including OpenAPI specs, JSON schemas,
 * and property-based test stubs from natural language requirements.
 */
export declare class FormalizerAgent extends Agent {
    /**
     * Get the prompt template for formal specification generation
     */
    getPromptTemplate(): string;
    /**
     * Generate OpenAPI specification from requirements
     */
    generateOpenApiSpec(requirements: string): Promise<OpenApiSpec>;
    /**
     * Generate JSON schema from data description
     */
    generateJsonSchema(description: string): Promise<JsonSchema>;
    /**
     * Generate property test stubs from specifications
     */
    generatePropertyTestStubs(spec: OpenApiSpec): Promise<PropertyTestStub[]>;
    /**
     * Execute the formalization task
     */
    executeTask(): Promise<TaskResult>;
    /**
     * Extract API path from requirement text
     */
    private extractPathFromRequirement;
    /**
     * Save generated specifications to files
     */
    private saveSpecifications;
}
//# sourceMappingURL=formalizer-agent.d.ts.map