Skip to content
View lykeion-dev's full-sized avatar
  • Lykeion G.K.

Block or report lykeion-dev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. openclaw--rev openclaw--rev Public

    Forked from openclaw/openclaw

    TypeScript

  2. claw-guardian claw-guardian Public

    Real-time safety watchdog for AI agents. Monitors OpenClaw sessions, detects dangerous operations, and intervenes before damage is done.

    Shell

  3. openclaw-skill-leanstral-formal-verification openclaw-skill-leanstral-formal-verification Public

    OpenClaw skill for formal code verification using Lean 4 + Mathlib + Leanstral model. Includes complete skill definition and PR #81088 case study with 13 verified theorems.

    Shell

  4. language-anchor language-anchor Public

    OpenClaw plugin to enforce a specific output language. Supports 30 languages.

    JavaScript 1

  5. openclaw-skill-cohere-translator openclaw-skill-cohere-translator Public

    State-of-the-art neural machine translation for 23 languages using Cohere's Command A Translate (111B). Free tier available.

    Python

  6. free-models-proxy free-models-proxy Public

    Local proxy for OpenClaw that auto-rotates between free LLM providers

    JavaScript