Antigravity Engineering Kit (AEK)

Antigravity Engineering Kit (AEK) is a high-performance, modular, cross-platform AI engineering toolkit written in Rust. AEK integrates with Google Antigravity, Claude Code, Cursor, and OpenCode to provide global engineering rules, reusable agent skills, MCP server integration, prompt optimization, and automated validation with ruthless precision.

🌐 Official Website & Docs: https://antigravity-engineering-kit-aek-taupe.vercel.app

Key Features

Universal Multi-Agent Compatibility (aek agent): Agent-agnostic core translating rules, skills, MCP servers, and prompt instructions natively into Google Gemini Antigravity, Anthropic Claude Code, OpenCode, and Cursor.
Conflict-Safe Multi-Agent Synchronization (aek agent sync): Conflict resolution strategies (KeepExisting, ReplaceManaged, Skip, ManualResolution), SHA-256 ownership tracking (.aek/managed-agents.toml), and safe rollbacks.
Agent Profiles & Capability Matrices (aek agent profile, aek agent capabilities): Ready-to-use profiles (Antigravity Engineering, Claude Code Engineering, Cursor Engineering, OpenCode Engineering, Multi-Agent Engineering) and typed capability discovery.
Rust-First Architecture: Built for memory efficiency (<50 MB idle footprint), deterministic behavior, and zero shell-injection risks.
Cross-Platform Distribution & Lifecycle Engine (aek install, aek update, aek rollback, aek uninstall): User-level installation without admin/root privileges, cryptographic SHA-256 verification, safe updates, instant rollback archives, and configuration migration.
Language Toolchain Engine (aek language): Compilers, SDKs, linters, and language servers across 8 major ecosystems (Rust, Go, C/C++, Zig, Python, TypeScript, Flutter, ROS 2).
Project-Aware Validation Engine (aek validate): Standardized 8-stage verification pipeline (Formatting, Linting, Type Checking, Compilation, Testing) with dry-run support, incremental Git detection, and quality gates.
Security Scanning & Auditing Engine (aek security): Multi-scanner orchestration (Semgrep SAST, Trivy vulnerability & misconfiguration scanning, ecosystem dependency auditors) with normalized severity scoring and doctor diagnostics.
Structured Multi-Format Reporting (aek report): Terminal diagnostic badges, versioned JSON, GitHub-compatible Markdown job summaries, and OASIS SARIF v2.1.0 output.
Least-Privilege CI/CD Automation (aek ci): Automated GitHub Actions workflow generation and static validation for least-privilege permissions.
Model Context Protocol Engine (aek mcp): Complete JSON-RPC 2.0 client engine with Stdio and Streamable HTTP transports, dynamic tool discovery, permission classification, and lifecycle supervision.
5 Verified MCP Integrations: Presets and verified configurations for Context7, GitHub, Playwright, Sequential Thinking, and Filesystem.
Global & Project Engineering Rules (aek rules): Tiered precedence system (Global -> Workspace -> Project) with size validation (<=24 KB) and token budgeting.
15 Specialized Agent Skills (aek skills): Progressive-disclosure runbooks covering Rust, Go, C++, Zig, Python, Flutter, Robotics (ROS 2), OS Internals, DevOps, Security Auditing, Databases, Distributed Systems, and Prompt Engineering.
Project-Aware Skill Discovery: Automatic codebase inspection recommending targeted skills with confidence scoring based on repository manifests.
Extensible Agent Adapters (aek agent): Native integration with Google Antigravity runtime, directories, and capabilities.
Resource Profiles (aek profile): Three calibrated tiers: LIGHT (minimal, 8 GB laptops), ENGINEERING (MCP & compilers), and FULL (DSPy & security).
Environment Doctor (aek doctor): Non-destructive diagnostic inspection of toolchains, runtimes, and Antigravity readiness.
Validated Configuration (aek config): TOML-backed configuration with strict schema validation, unknown-field rejection, and atomic writes.
Backup & Restore Engine (aek backup, aek restore): Unique-ID timestamped backups with safety copies prior to destructive modifications.

Workspace Structure

The workspace is organized into modular Rust crates:

crates/aek-platform: OS & arch detection, standard directory resolution, path traversal defense.
crates/aek-core: Safe execution engine, diagnostics runner, and resource profile tiers.
crates/aek-config: Schema validation, TOML persistence, atomic writes, and backup/restore engine.
crates/aek-rules: Global and project rule models, registry, precedence resolution, validation, and safe installation.
crates/aek-skills: Skill models, frontmatter parsing, project-aware discovery, validation, and installation.
crates/aek-agents: Universal multi-agent adapter trait, capability registry, config translators, conflict-safe synchronization, and adapters for Antigravity, Claude Code, OpenCode, and Cursor.
crates/aek-mcp: Reusable MCP client engine, Stdio/HTTP transports, lifecycle state machine, and security policy.
crates/aek-mcp-integrations: Official MCP server configuration adapters (Context7, GitHub, Playwright, Sequential Thinking, Filesystem).
crates/aek-languages: Language provider interface, toolchain registry, project detection, and diagnostics.
crates/aek-validation: 8-stage verification pipeline, execution DAG planner, incremental change detector, and quality gate engine.
crates/aek-security: Security scanner orchestrator, Semgrep & Trivy adapters, dependency auditing, and security doctor.
crates/aek-reporting: Structured terminal formatter, JSON report serializer, OASIS SARIF v2.1.0 generator, and Markdown summary generator.
crates/aek-distribution: Installation path resolution, release manifest models, update manager, version rollback, and uninstallation.
crates/aek-prompt: Prompt data structures, template engine, atomic version control, metric calculators, and injection defense.
crates/aek-prompt-adapters: Pluggable adapters for Prompt Optimizer, Stanford DSPy (Python bridge), and Promptfoo CLI.
crates/aek-cli: User-facing command-line interface (aek).

Quickstart

Prerequisites

Stable Rust toolchain (rustc >= 1.85.0, cargo)
git

Build and Install

# Clone the repository
git clone https://github.com/sumit007-ui/Antigravity-Engineering-Kit-AEK-.git
cd aek

# Build release binary
cargo build --release

# Initialize AEK
cargo run -- init

# Run diagnostic check
cargo run -- doctor

CLI Command Highlights

# Engineering Rules Management
aek rules list
aek rules show engineering
aek rules validate
aek rules install engineering --dry-run
aek rules install engineering

# Specialized Agent Skills
aek skills list
aek skills show rust-systems-engineer
aek skills validate
aek skills recommend
aek skills install rust-systems-engineer --dry-run
aek skills install rust-systems-engineer

# Model Context Protocol (MCP) Management
aek mcp list
aek mcp show context7
aek mcp doctor
aek mcp export --agent antigravity --dry-run
aek mcp export --agent antigravity
aek mcp enable context7

# Agent Integration & Capabilities
aek agent detect
aek agent capabilities
aek agent doctor
aek agent install-rules --dry-run
aek agent install-skills --dry-run

# Environment & Resource Profiles
aek doctor
aek profile list
aek profile apply engineering

# Language Toolchains & Multi-Project Validation
aek language detect
aek language doctor rust
aek validate --dry-run
aek validate --changed
aek validate --policy strict
aek validate policy list

# Security Auditing & Diagnostics
aek security doctor
aek security scan
aek security scan --json
aek security scan --sarif

# CI/CD Workflows
aek ci validate
aek ci generate github --dry-run

# Structured Reports
aek report show --type validation
aek report export --type security --format sarif

# AI Prompt Optimization & Evaluation
aek prompt list
aek prompt show rust-lru
aek prompt optimize rust-lru --adapter prompt-optimizer --dry-run
aek prompt evaluate rust-lru --dataset datasets/examples/rust.jsonl
aek prompt versions rust-lru
aek prompt export rust-lru --dry-run
aek prompt doctor
aek prompt adapters

# Universal Multi-Agent Operations
aek agent list
aek agent detect
aek agent doctor
aek agent capabilities claude-code
aek agent sync --agents antigravity,claude-code,cursor --dry-run
aek agent config show cursor
aek agent profile list
aek agent profile apply multi-agent-engineering --dry-run
aek agent uninstall opencode --dry-run
aek agent compatibility

# Installation Diagnostics & Lifecycle Management
aek install info
aek install doctor
aek install verify
aek update check
aek update --dry-run
aek rollback --list
aek uninstall --dry-run
aek setup antigravity --dry-run
aek config migrate --check

# Configuration & Backups
aek config show
aek config validate
aek backup create
aek backup list

Documentation

Development & Verification

AEK adheres strictly to Test-Driven Development (TDD) and automated verification:

# Code formatting check
cargo fmt --all -- --check

# Strict linting (zero warnings permitted)
cargo clippy --workspace --all-targets -- -D warnings

# Execute entire test suite
cargo test --workspace

# Build optimized release binary
cargo build --workspace --release

License

Licensed under either of Apache License, Version 2.0 or MIT License at your option.