Registry Cache Praxis Iris Organizations Import

Import from GitHub

Scan a public (or private with token) GitHub repository and publish Skills and AgentDefinitions directly into this registry.

Repository

Branch (optional — defaults to HEAD)

Namespace (default: community)

GitHub Token (optional — private repos or higher rate limits; or set LEXIS_GITHUB_TOKEN)

Also scan .md files for “agent” in first heading

Include AGENTS.md files (repo-level instructions, excluded by default)

Lexis dev · unknown · mode=