LEIO Code é uma camada read-only de inteligência de repositório para agentes. Ele indexa a codebase, declara o que ela realmente expõe, encontra símbolos e contratos operacionais, explica topologia cross-file, roda doctors de drift e devolve evidência com arquivo e linha. Use como CLI local, MCP server, app público no ChatGPT ou imagem Docker multi-arch em VMs.
App URL https://leio-code-apps-sdk.fly.dev
MCP URL https://leio-code-apps-sdk.fly.dev/mcp
Metadata https://leio-code-apps-sdk.fly.dev/.well-known/oauth-protected-resource/mcp
Issuer https://leio-code-keycloak.fly.dev/realms/leio-code
Discovery https://leio-code-keycloak.fly.dev/realms/leio-code/.well-known/openid-configuration
Privacy https://leio-code-apps-sdk.fly.dev/privacy
Support https://leio-code-apps-sdk.fly.dev/support
Terms https://leio-code-apps-sdk.fly.dev/termsNão é um chatbot falando genericamente sobre código. Ele prende a sessão ao repositório certo, expõe um contrato operacional de inspeção, explicação e auditoria, e só aprofunda onde o repo realmente suporta.
Selecione o repositório da sessão por URL quando ele for público, ou conecte o GitHub App para escolher repositórios privados sem jogar PAT ou segredo dentro do chat.
Encontre símbolos, variáveis de ambiente, chaves Redis, rotas, serviços e superfícies operacionais sem cair em grep cego ou leitura manual interminável.
Peça explicações sobre deploy, Milvus, env vars, Redis e cartridges como comportamento de sistema, não como arquivos soltos.
Rode doctors para encontrar drift em deploy, auth, coleções Milvus, frontend, gateway e contratos específicos do workspace quando eles existirem.
A estratégia é manter o binário Rust como fonte de verdade e publicar wrappers finos para cada ambiente. O agente chama a mesma inteligência esteja no terminal, no MCP, no ChatGPT ou em uma VM.
O binário Rust indexa um repositório local e expõe status, find, explain, graph, doctor e export. É o caminho mais rápido para CI, workstations e VMs com snapshot local.
A superfície MCP deixa agentes chamarem as mesmas capacidades sem inventar comandos shell. Ideal para Cursor, Claude, ChatGPT ou qualquer cliente compatível.
A experiência pública adiciona OAuth, GitHub App, seleção de repositório e contrato de tools para analisar repos públicos e privados sem colar PAT no chat.
Imagem multi-arch para VMs e automações. Monta snapshots como read-only, evita instalar Rust em produção e mantém o LEIO fora do compose da aplicação.
Escolha o caminho conforme o ambiente. Localmente, compile a CLI. Em servidores, prefira a imagem Docker multi-arch. Para agentes, exponha o MCP ou use o app público com OAuth/GitHub App.
# 1. Build the CLI from source
git clone https://github.com/josaum/mycelia-workspace.git
cd mycelia-workspace/leio-code
cargo build --release
# 2. Point it at any repo
../target/release/leio-code status --repo /path/to/repo
../target/release/leio-code find symbol QueryEnvelope --repo /path/to/repo
../target/release/leio-code doctor deploy --repo /path/to/repo# Multi-arch ops image
docker pull jquant/leio-code:latest
# Read-only scan of the current repo
docker run --rm \
-v "$PWD:/repo:ro" \
jquant/leio-code:latest \
status --repo /repo
# Production VM wrapper pattern
alias leio-code='docker run --rm -v "$PWD:/repo:ro" jquant/leio-code:latest'# MCP surface from a synced snapshot
cd leio-code/mcp
npm ci --omit=dev
node ./index.js
# Apps SDK surface
cd ../apps-sdk
npm ci --omit=dev
node ./server.js
# Health smoke
curl -fsS http://localhost:3000/healthEm produção, rode LEIO como ferramenta de operações contra um snapshot montado como read-only. Não adicione o serviço ao compose da aplicação e não instale Rust/Cargo em VM só para auditar código. A imagem `jquant/leio-code:latest` é o caminho portátil.
A release não é só um binário. Ela precisa preservar a equivalência entre CLI, MCP, Apps SDK e Docker para que qualquer agente receba as mesmas respostas, capabilities e evidências.
A CLI é o núcleo. Toda superfície pública deve chamar o mesmo contrato de indexação, status, busca, explicação e doctors para evitar drift entre ChatGPT, MCP e CI.
Publicar `jquant/leio-code:latest` como linux/amd64 e linux/arm64. Em VMs, usar wrapper host-level com volume read-only para o snapshot do repo.
O MCP roda de `leio-code/mcp` com `npm ci --omit=dev`; o Apps SDK roda de `leio-code/apps-sdk`. Eles são wrappers, não serviços de produção do sistema auditado.
Antes de publicar, rodar `status`, doctors de deploy e pelo menos um workspace rico. A release só vale se produzir evidência útil, não apenas se compilar.
# Release discipline
1. cargo test
2. cargo build --release
3. leio-code status --repo /path/to/fixture
4. leio-code doctor deploy --repo /path/to/fixture
5. npm ci --omit=dev in mcp/ and apps-sdk/
6. apps-sdk /health smoke
7. docker buildx build --platform linux/amd64,linux/arm64 --push
8. docker buildx imagetools inspect jquant/leio-code:latestO ganho não é “ter mais um MCP”. O ganho é escolher o repo certo, chegar mais rápido à resposta certa, gastar menos tokens em exploração cega e iterar com IA em cima do código real.
Você escolhe o repositório, roda capacidades e status, e sai da conversa genérica em minutos. Isso reduz o tempo entre abrir o chat e chegar no primeiro arquivo realmente relevante.
Como a conversa começa por capacidades reais e recuperação focalizada, você evita despejar contexto gigante, repetir perguntas amplas e gastar tokens tentando descobrir qual repo ou qual superfície deveria estar olhando.
Você formula hipótese, seleciona o repo certo, busca o símbolo certo, explica a topologia certa e volta para a próxima iteração sem ter que reexplicar a codebase inteira ao modelo.
Para GitHub privado, o caminho certo é GitHub App com repositórios selecionados. O LEIO Code continua read-only e não exige colar PAT no chat para começar a analisar.
O LEIO Code foi feito para provar propriedades de repositórios sem transformar detalhes de clientes, operações ou projetos internos em marketing público. A landing mostra a capacidade; os nomes e contextos sensíveis ficam fora da superfície pública.
Cobertura de deploy, auth, eventos, Milvus, frontend-engine, cartridges, runtime, Flight, OAR boundary e mais.
O índice local fica em .leio-code/index.json e sustenta busca, explicação e auditoria sem jogar a codebase inteira dentro do prompt.
O LEIO Code nunca escreve no repositório alvo. Toda operação é leitura indexada com referências file:line auditáveis.
Keycloak em produção, descoberta OIDC pública e MCP exposto sob OAuth — sem PAT no chat, sem segredo no contexto.
| Família | Resultado | O que valida |
|---|---|---|
| deploy | topologia consistente | Confirma targets, profiles, secret sets, health checks, smoke suites e rollback antes de operadores promoverem mudanças. |
| runtime contracts | drift detectável | Verifica fronteiras entre API, gateway, eventos, Flight, frontend e contratos operacionais com evidência file:line. |
| workspace hygiene | menos regressão invisível | Aponta inconsistências de configuração, TypeScript, cartridges e superfícies publicadas sem precisar expor dados ou nomes sensíveis. |
A regra é simples: o produto pode demonstrar classes de validação e contratos técnicos, mas não precisa publicar nomes, missões, clientes ou detalhes operacionais para provar valor.
Use o LEIO Code direto no ChatGPT, em clientes MCP ou no runtime público já publicado. Primeiro selecione o repositório. Depois comece por capacidades para reduzir round trips, cortar tokens desnecessários e entrar mais rápido na pergunta certa.
Use o app público ou conecte o endpoint MCP em developer mode. O runtime já está exposto em produção com OAuth/JWT e issuer público.
Para repo público, informe a URL. Para privado no GitHub, conecte o GitHub App e escolha o repositório instalado. O app prende a sessão ao repo escolhido.
Faça login quando o fluxo OAuth pedir. Depois comece por inspect_repository_capabilities, siga para inspect_repository_status e só então avance para busca, explicação e doctors.
1. Adicione o app no ChatGPT em developer mode ou conecte o endpoint MCP.
2. Autentique com OAuth quando o fluxo pedir.
3. Se o repo for público, informe a URL. Se for privado, conecte o GitHub App e escolha o repositório.
4. Pergunte: "Que capacidades este repositório expõe?"
5. Avance para busca, explicação ou auditoria conforme o contrato retornado.Use LEIO Code para analisar um repositório específico.
Se o repositório for público:
- informe repo_url = https://github.com/owner/repo.git
Se o repositório for privado no GitHub:
- conecte o GitHub App
- escolha o repositório instalado
Depois siga nesta ordem:
1. select_repository_target
2. inspect_repository_capabilities
3. inspect_repository_status
Depois, conforme o que o repositório expuser:
- search_repository para símbolos, env vars, chaves Redis, rotas e serviços
- explain_repository para deploy, env vars, Redis, Milvus ou cartridges
- audit_repository_contracts para doctors e verificações de drift
Responda sempre com evidência e referências exatas de arquivo.Esses prompts exploram o contrato do LEIO Code do jeito certo. Funcionam melhor porque primeiro fixam o repo, depois partem de capacidades reais e pedem evidência.
A landing aponta para os artefatos públicos que descrevem o produto, o contrato MCP e o material operacional do LEIO Code.
Usage guide:
/llm-instructions.md
Tool contract:
/leio-tools.json
Public privacy:
https://leio-code-apps-sdk.fly.dev/privacy
Public support:
https://leio-code-apps-sdk.fly.dev/support
Public terms:
https://leio-code-apps-sdk.fly.dev/termsO LEIO Code já está publicado com OAuth, MCP e issuer público. O passo correto agora não é sair testando tudo em um repo fixo; é selecionar o repositório real, reduzir tentativa e erro e iterar com mais velocidade e menos tokens.