Skip to content

@greyhaven-ai Grey Haven

Change the repository type filter

All

    Repositories list

    7 repositories

    • autocontext

      Public
      a recursive self-improving harness designed to help your agents (and future iterations of those agents) succeed on any task
      aimlpi
      aimlpihermesagentscodexclaudellmsclaude-codepi-coding-agent
      Python
      •
      Apache License 2.0
      •109•1.3k•0•1•Updated Aug 17, 2026Aug 17, 2026

    • mathlib4

      Public
      The math library of Lean 4
      Lean
      •
      Apache License 2.0
      •1.6k•0•0•0•Updated Jun 11, 2026Jun 11, 2026

    • pi-autocontext-lean-verify

      Public
      Python
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 2, 2026Jun 2, 2026

    • sygaldry

      Public
      Discover and integrate reusable agents and tools into your Python projects
      Python
      •
      MIT License
      •2•11•20•1•Updated May 12, 2026May 12, 2026

    • claude-code-config

      Public
      Grey Haven's centralized repository for Claude Code agents, commands, and configs
      Python
      •
      MIT License
      •4•30•0•0•Updated Apr 20, 2026Apr 20, 2026

    • homebrew-greyhaven

      Public
      Homebrew formulas for Grey Haven tooling
      Ruby
      •0•0•0•0•Updated Sep 11, 2025Sep 11, 2025

    • .github

      Public
      0•0•0•0•Updated Jul 1, 2025Jul 1, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.