Profile My skills Saved Collections Edit profile Submit a skill

← all publishers

greyhaven-ai

@greyhaven-ai source repo

4 published skills

  1. ▌
    Lean Verify · greyhaven-ai
    Formal Proof Harness
    0
    installs
  2. ▌
    Autocontext Creator · greyhaven-ai
    Use when an agent needs to CREATE knowledge with Autocontext - run a scenario or plain-language task through the improvement loop, judge or improve a single output, and inspect what the run produced. Host-agnostic; requires only the autoctx CLI.
    1
    install
  3. ▌
    Autocontext Consumer · greyhaven-ai
    Use when an agent needs to USE knowledge Autocontext already produced - find which scenarios have knowledge, read the playbook and lessons for one, understand the on-disk file and folder layout, and move knowledge between checkouts. Host-agnostic; requires only the autoctx CLI and the filesystem.
    1
    install
  4. ▌
    Autocontext · greyhaven-ai bundle
    Use when a Hermes agent needs to evaluate agent behavior, run Autocontext scenarios, inspect Hermes curator state, export reusable knowledge, or prepare local MLX/CUDA training data through the autoctx CLI.
    1
    install