The Eight Engineering Engines.
Explore the modular, high-performance engines that form the Antigravity Engineering Kit.
Global & Project Engineering Rules
Deterministic 3-tier precedence with token-budget enforcement.
AEK resolves rule precedence across Global (~/.gemini or ~/.claude), Workspace, and Project tiers. Every rule file is audited against strict 24 KB limits and estimated token budgets to prevent LLM context saturation.
- ✓Strict precedence resolution: Global → Workspace → Project
- ✓24 KB bounded rule size defense against context degradation
- ✓Automated prompt-token budget estimation
- ✓Idempotent installation with backup rotation
$ aek rules list --audit15 Specialized Agent Skills
Curated engineering runbooks with automatic codebase detection.
Progressive disclosure skills covering Rust, Go, C++, Zig, Python, TypeScript, Flutter, and ROS 2 robotics. Codebase manifests (Cargo.toml, package.json, go.mod) trigger targeted skill recommendations.
- ✓Progressive disclosure runbooks with clear operational bounds
- ✓Project-aware discovery engine with confidence scoring
- ✓Comprehensive domain coverage across 8 language ecosystems
- ✓Native translation to Antigravity, Claude Code, Cursor, and OpenCode
$ aek skills discoverModel Context Protocol Client & Integrations
High-throughput JSON-RPC 2.0 client with Stdio and HTTP transports.
Connect coding agents securely to real-world developer tools. Out-of-the-box verified integration adapters for Context7, GitHub, Playwright, Sequential Thinking, and Filesystem.
- ✓Complete JSON-RPC 2.0 client supporting Stdio and HTTP transports
- ✓Subprocess supervision with automatic health restart
- ✓Least-privilege permission tagging per MCP tool
- ✓Instant multi-agent configuration export
$ aek mcp list --jsonLanguage Toolchain Management
Automated compiler, linter, and language server diagnostics.
Inspect and verify language compilers, package managers, and formatters across 8 ecosystems. Diagnostic doctor provides non-destructive setup instructions if tools are missing.
- ✓Automatic project language detection across 8 ecosystems
- ✓Compiler and linter health checks with actionable doctor output
- ✓Toolchain version parsing and compatibility auditing
- ✓Zero invasive installation without user confirmation
$ aek language doctor8-Stage Quality Gate Verification
Topological DAG verification pipeline with incremental Git detection.
Automate code formatting, static linting, type-checking, unit tests, and security scans in an 8-stage verification pipeline. Fast incremental mode tests only files modified in git diff.
- ✓Topological DAG execution planner with parallel stages
- ✓Incremental Git change detection for sub-second execution
- ✓Configurable quality gate thresholds and fail-fast flags
- ✓OASIS SARIF v2.1.0, JSON, and GitHub Markdown job summaries
$ aek validate --strictMulti-Scanner Security Orchestration
Semgrep SAST, Trivy scanning, and ecosystem dependency auditors.
Orchestrate static security analysis without credential leakage or telemetry. Checks for path traversal vulnerabilities, command injection risks, and known CVEs in dependencies.
- ✓Semgrep SAST static analysis integration
- ✓Trivy vulnerability and misconfiguration scanning
- ✓Ecosystem dependency vulnerability checking (cargo-audit, npm audit)
- ✓Normalized CVSS severity scoring and CI-friendly exit codes
$ aek security audit