AEK
Antigravity Kit
v0.1.0 RUST • ONLINE
✦ RUST CRATE ECOSYSTEM

Crate Topology.

The complete architectural blueprint of the sixteen modular Rust crates comprising AEK.

✦ RUST WORKSPACE TOPOLOGY

Sixteen decoupled crates.
One cohesive architecture.

Inspect the foundational crates powering AEK's memory safety, deterministic execution, and agent synchronization.

crates/aek-cli

CLI Shell & UX

CRATE SPEC

Clap-driven CLI binary executing subcommands with sub-millisecond dispatch and formatted terminal UI.

Architectural Invariants

  • ✓Exit code 0 on success
  • ✓Structured JSON/SARIF output flags
  • ✓Direct argument array dispatch

Complete Workspace Manifest (16 Crates)

crates/aek-platform

Platform directory resolution, OS/architecture detection, path traversal defense.

RUST 2024PASSED
crates/aek-core

Safe execution engine, subprocess supervisor, diagnostics runner, and resource tiers.

RUST 2024PASSED
crates/aek-config

Schema validation, TOML persistence, atomic file writes, backup and restore engine.

RUST 2024PASSED
crates/aek-rules

Global and project rule models, registry, 3-tier precedence resolution, and size validation.

RUST 2024PASSED
crates/aek-skills

Skill models, frontmatter parsing, project-aware discovery, validation, and installation.

RUST 2024PASSED
crates/aek-agents

Universal agent adapter trait, capability registry, native config translators, and sync.

RUST 2024PASSED
crates/aek-mcp

Reusable JSON-RPC 2.0 MCP client, Stdio/HTTP transports, and security policy.

RUST 2024PASSED
crates/aek-mcp-integrations

Standard configuration adapters for Context7, GitHub, Playwright, Sequential Thinking, Filesystem.

RUST 2024PASSED
crates/aek-languages

Language toolchain registry, compiler/linter diagnostics, and project detection across 8 ecosystems.

RUST 2024PASSED
crates/aek-prompt

Structured prompt templates, token budgeting, variables, and DSPy declarative signatures.

RUST 2024PASSED
crates/aek-prompt-adapters

Promptfoo test suites, red-teaming evaluations, regression assertions, and automated scoring.

RUST 2024PASSED
crates/aek-validation

8-stage verification pipeline, DAG execution planner, incremental change detector, quality gates.

RUST 2024PASSED
crates/aek-security

Security scanner orchestrator, Semgrep & Trivy adapters, dependency auditing, security doctor.

RUST 2024PASSED
crates/aek-reporting

Multi-format report generation (Terminal, Markdown, JSON, OASIS SARIF v2.1.0).

RUST 2024PASSED
crates/aek-distribution

Cross-platform packaging, version checking, atomic in-place updates, rollback archives.

RUST 2024PASSED
crates/aek-cli

Command-line interface binary, argument parsing via Clap, and user diagnostics.

RUST 2024PASSED