meta-introspector

Import skills from all agent formats and regenerate unified forms. Use when adding new skills, syncing cross-agent docs, or normalizing existing skill files.

Import skills from all agent formats and regenerate unified forms. Use when adding new skills, syncing cross-agent docs, or normalizing existing skill files.

Classify repositories using finite simple group theory and generate mathematical atlases. Use with atlas binaries and ZKperf coverage runners.

Build, analyze, partition, and visualize Rust dependency graphs with cargo-vendormod. Use for global-graph commands.

Detect languages and generate per-language Nix flakes with cargo-vendormod. Use when processing Java, JavaScript, C, Lean4, Python, Go, Ruby, Nix, or mixed-language projects.

Process Rust crates in layered topological order and generate Nix flakes. Use with the `processing` binary and `workflow` runner.

Generate, process, and verify reports and manifests with cargo-vendormod. Use for report generation, goal tracking, coverage summaries, gitmodules metadata, rollup locks, Cargo.toml fixes, and DASL metadata processing.

Discover and classify repositories, crates, and sanitized references in cargo-vendormod workloads. Use when scanning directories for Cargo.toml files, collecting repo info, or cleaning git references.

Aristotle Manager fetch (incremental download with last_updated tracking) and version (git commit pipeline) commands. Use when debugging fetch not updating existing projects, or git commit errors in the versioning step.

Master skill for the Aristotle self-improvement cycle: fetch → split → merge → dasl-finish → diagonalize → enrich. OODA loop driven by GOAP + DASL planners.

Self-application of the split/merge pipeline to Aristotle's own codebase. Gödelian self-improvement: find minimal self-referential kernel, rebuild clean workspace, repair with SPARQL/GOAP. Phase 5 of the self-improvement cycle.

Build DASL blocks.json index, NotebookLM text exports, refusal audits, glossaries, and failure corpora. Phase 6 of the self-improvement cycle.

OODA (Observe-Orient-Decide-Act) loop driver. Checks GOAP + DASL planners for pending tasks, decides next action, executes it. The meta-loop that coordinates the self-improvement pipeline.

Split (per-declaration extraction via SplitDecls.lean + multi-language) and Merge (deduplicate into unified pool). Phase 2-3 of the self-improvement cycle.