Skip to main content
MiraiOS — The Future Runs Local

CI PyPI Python License: MIT ONNX

Uma camada operacional local-first para implantar, executar e observar IA em dispositivos Edge.

Começar · Parear · Demonstração · Arquitetura · CLI · Roadmap

O que é o MiraiOS?

O MiraiOS é um projeto open-source do Projeto Hikari que transforma um modelo ONNX em um serviço de inferência operável em Linux:

pareamento → deploy → validação → ativação → inferência → métricas

A CLI permanece no computador do desenvolvedor. O Mirai Agent roda no destino, mantém sua própria identidade, verifica o modelo e executa a inferência. O primeiro destino pode ser o próprio computador ou um container; o protocolo é independente de fabricante e não exige uma Raspberry Pi para começar.

Do arquivo ONNX ao dispositivo físico em um único fluxo verificável.

O fluxo da v0.8

Demonstração do Hikari Link no MiraiOS

A v0.8 adiciona o Hikari Link, a camada de confiança entre a CLI e o Agent:

Etapa O que acontece
Identify O Agent cria uma identidade TLS persistente e mostra seu fingerprint.
Pair Um código efêmero autoriza uma única CLI e gera um token revogável.
Verify A CLI fixa o fingerprint antes de enviar código, token ou modelo.
Operate Deploy, ativação, inferência, eventos e métricas exigem autenticação.
Diagnose mirai doctor verifica canal, autenticação, versões e runtime.
Revoke A CLI encerra o próprio acesso e remove a credencial local.

O lifecycle e as credenciais sobrevivem à reinicialização do Agent. O código de pareamento não é persistido e expira após dez minutos.

Por que este projeto existe

  • Local-first: a inferência acontece onde o dado é produzido.
  • Sem hardware obrigatório: Linux local e Docker validam o protocolo antes da compra de uma placa.
  • Canal verificável: HTTPS, fingerprint fixado e token por cliente evitam confiar silenciosamente no primeiro servidor encontrado.
  • Lifecycle explícito: receber um arquivo não significa ativá-lo; cada transição é intencional e observável.
  • Formato aberto: ONNX reduz o acoplamento a um framework de treinamento.
  • Base pequena e auditável: CLI, cliente, Agent, segurança e runtime são módulos Python independentes, sem framework web obrigatório.

Status atual

Capacidade v0.8
Validação estrutural com onnx.checker Pronto
Inferência local numérica, JSON e imagens Pronto
Benchmark com warm-up, mediana, P95 e IPS Pronto
Deploy verificado e lifecycle ready / active Pronto
Inferência remota, eventos e métricas Pronto
Identidade TLS persistente e fingerprint SHA-256 Pronto
Pareamento de uso único e autenticação por cliente Pronto
Diagnóstico e revogação pela CLI Pronto
Imagens em inferência remota Ainda não
Provider validado no CI ONNX Runtime CPU

O projeto está em estágio alpha. A v0.8 foi desenhada para laboratório, localhost e redes privadas controladas; ela ainda não é um gateway para exposição direta à internet.

Arquitetura

flowchart TD
    CLI["Mirai CLI"]
    REG["Registro local protegido"]
    LINK["Hikari Link<br/>TLS + pinning + token"]
    API["Mirai Agent API v1"]
    LIFE["Lifecycle persistente"]
    ORT["ONNX Runtime"]
    EDGE["Linux · Docker · futuro ARM64"]

    CLI --> REG
    CLI --> LINK
    LINK --> API
    API --> LIFE
    LIFE --> ORT
    ORT --> EDGE

O Agent usa armazenamento simples e inspecionável:

Item Função
identity.json + agent-*.pem Identidade e certificado persistentes.
clients.json Clientes pareados; contém somente hashes dos tokens.
models/ Modelos ONNX validados e identificados pelo hash.
deployments.json Deployments, estados e seleção ativa.
events.jsonl Histórico de pareamentos, deploys, ativações e inferências.

A especificação e o modelo de ameaças estão em Projeto Hikari v0.8.

Comece em 3 minutos

1. Instale a versão do repositório

O MiraiOS requer Python 3.10 ou superior:

git clone https://github.com/start6202783-dotcom/MiraiOS.git
cd MiraiOS
python -m venv .venv

Ative o ambiente no Linux ou macOS:

source .venv/bin/activate
python -m pip install --editable ".[dev]"

No Windows PowerShell:

.venv\Scripts\Activate.ps1
python -m pip install --editable ".[dev]"

Também é possível instalar a versão publicada:

python -m pip install --upgrade miraios

2. Inicie um Agent local

No primeiro terminal:

mirai agent start

O endereço padrão é http://127.0.0.1:8080. Esse modo deliberadamente dispensa pareamento porque só aceita conexões da própria máquina.

3. Faça deploy, ative e execute

No segundo terminal:

python scripts/create_dummy_model.py
mirai device add local --url http://127.0.0.1:8080
mirai doctor --device local
mirai deploy examples/dummy_model.onnx --device local
mirai status --device local
mirai activate 153f2947c78a0313 --device local
mirai run --device local --input 5.0
mirai logs --device local

O modelo de exemplo soma 1 à entrada, portanto o resultado esperado é 6.0. Use no comando activate o identificador exibido pelo seu deploy.

Conecte um dispositivo na rede

No dispositivo de destino, inicie o Agent em um endereço de rede:

mirai agent start --host 0.0.0.0

Fora de localhost, o Agent ativa HTTPS e autenticação automaticamente. Ele exibe um código de uso único e um fingerprint SHA-256. Confira esses dois valores diretamente no terminal do dispositivo e, no computador com a CLI, execute:

mirai device pair edge \
  --url https://192.168.1.40:8080 \
  --code CODIGO-EXIBIDO \
  --fingerprint SHA256-EXIBIDO

mirai doctor --device edge

Substitua o IP e os valores pelos exibidos pelo Agent. O fingerprint é verificado antes que o código seja transmitido. Depois do pareamento, os comandos existentes usam o canal autenticado sem receber segredos na linha de comando.

Para encerrar o acesso dessa CLI:

mirai device revoke edge

Comandos

Comando Descrição
mirai validate modelo.onnx Valida integralmente o protobuf ONNX.
mirai info modelo.onnx Exibe entradas, saídas, tipos, shapes e nós.
mirai run modelo.onnx --input 5 Executa inferência local.
mirai benchmark modelo.onnx Mede latência, P95 e vazão local.
mirai agent start Inicia o Agent local.
mirai agent start --host 0.0.0.0 Inicia um Agent HTTPS pareável.
mirai device add/list/info/remove Gerencia destinos locais.
mirai device pair edge ... Verifica e pareia um Agent HTTPS.
mirai device revoke edge Revoga o token e remove o cadastro.
mirai doctor --device edge Diagnostica canal, versões e runtime.
mirai deploy modelo.onnx --device edge Envia e valida um modelo.
mirai status --device edge Lista deployments e o modelo ativo.
mirai activate ID --device edge Ativa um deployment pronto.
mirai run --device edge --input 5 Executa no deployment ativo.
mirai logs --device edge Consulta eventos recentes.

Execute mirai COMANDO --help para ver todas as opções.

Entradas e inferência

Local

Escalares e arrays JSON são convertidos para o dtype e o shape esperados:

mirai run modelo.onnx --input 5.0
mirai run modelo.onnx --input "[[1, 2, 3]]"

Modelos com múltiplas entradas aceitam nome ou ordem:

mirai run soma.onnx --input x=5 --input y=7
mirai run soma.onnx --input 5 --input 7

Imagens NCHW e NHWC são suportadas localmente:

mirai run visao.onnx --input foto.jpg --layout auto

O pré-processamento de visão é intencionalmente básico. Modelos que exigem mean/std, letterbox, BGR ou tokenização ainda precisam receber tensores preparados externamente.

No Agent

A inferência remota aceita escalares, arrays JSON e entradas nomeadas:

mirai run --device edge --input 5
mirai run --device edge --input x=5 --input y=7

Caminhos de imagens são rejeitados no Agent nesta versão. Um futuro pacote .mirai definirá os arquivos e o pré-processamento permitidos.

Benchmark local

mirai benchmark modelo.onnx --runs 100 --warmup 5

O carregamento do modelo não entra na medição. O relatório inclui tempo total, latência média, mediana, percentil 95 e inferências por segundo.

Docker: dispositivo sem placa física

O repositório inclui um Agent HTTPS isolado em container:

docker compose up --build -d
docker compose logs mirai-agent

Copie dos logs o código e o fingerprint e faça o pareamento:

mirai device pair docker \
  --url https://127.0.0.1:8080 \
  --code CODIGO-EXIBIDO \
  --fingerprint SHA256-EXIBIDO
mirai doctor --device docker

O volume mirai-agent-data preserva identidade, clientes, modelos, lifecycle e eventos. Para encerrar:

docker compose down

Segurança da v0.8

O Hikari Link estabelece uma fronteira clara entre desenvolvimento local e acesso pela rede:

  • HTTP sem autenticação é aceito somente em endereços de loopback;
  • qualquer escuta fora de loopback ativa HTTPS automaticamente;
  • o Agent gera certificado e chave RSA persistentes e exige TLS 1.2 ou mais;
  • a CLI fixa o fingerprint SHA-256 antes de enviar qualquer segredo;
  • o código de pareamento tem 12 caracteres, expira em dez minutos, fica apenas em memória e só pode ser usado uma vez;
  • cada cliente recebe um token aleatório próprio e revogável;
  • o Agent persiste somente o SHA-256 do token; o registro da CLI usa permissão 0600 em sistemas compatíveis;
  • somente /v1/health e /v1/pair são públicos no modo seguro;
  • respostas da API usam Cache-Control: no-store.

Ainda não há papéis de autorização, rotação automática de certificados, limitação de tentativas ou integração com uma autoridade certificadora. Use firewall, mantenha a porta em uma rede privada e não exponha o Agent diretamente à internet.

Roadmap

Entregue

  • v0.5.1 — Runtime: validação real, inferência, imagens, benchmark, testes e CI.
  • v0.6 — Deploy: Agent, registro de dispositivos, upload verificado, logs e Docker.
  • v0.7 — Operação: lifecycle persistente, ativação, inferência remota e métricas.
  • v0.8 — Confiança: identidade TLS, pinning, pareamento, autenticação, diagnóstico e revogação.

Próximo

  • Pacote reproduzível .mirai com manifesto e pré-processamento.
  • Health check por modelo, rollback e histórico de ativações.
  • Saída JSON para automação e relatórios de benchmark.
  • Rotação de identidade, limitação de pareamento e papéis de acesso.

Depois

  • Descoberta de dispositivos e visão de frota.
  • Seleção explícita de providers e perfis de hardware.
  • Compatibilidade validada em ARM64.
  • Providers CUDA e DirectML.
  • Suporte experimental a outros runtimes e RISC-V.

O roadmap prioriza um protocolo seguro e útil antes de ampliar a quantidade de hardwares suportados.

Desenvolvimento

Instale as dependências de desenvolvimento e execute a suíte:

python -m pip install --editable ".[dev]"
python -m compileall -q src tests scripts
python -m pytest

O CI executa os testes em Python 3.10, 3.11, 3.12 e 3.13. Consulte CONTRIBUTING.md antes de enviar mudanças.

Os ativos visuais do README são reproduzíveis:

python scripts/render_readme_assets.py

Projeto Hikari

Hikari é a primeira fase do MiraiOS: construir uma camada pequena, portátil e verificável entre modelos de IA e hardware local. O nome Mirai significa “futuro”; Hikari, “luz”.

Documentação dos marcos:

Licença

Distribuído sob a licença MIT.

Logotipo MiraiOS

The Future Runs Local

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

miraios-0.8.0.tar.gz (1.1 MB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

miraios-0.8.0-py3-none-any.whl (39.6 kB view details)

Uploaded Python 3

File details

Details for the file miraios-0.8.0.tar.gz.

File metadata

  • Download URL: miraios-0.8.0.tar.gz
  • Upload date:
  • Size: 1.1 MB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/7.0.0 CPython/3.13.13

File hashes

Hashes for miraios-0.8.0.tar.gz
Algorithm Hash digest
SHA256 cacd22a60e4a4313e7f2787b6cd899f453e79cd7123cbbc208023fedb882a8f0
MD5 0b5c3df35a4ff01bdb503f439bb97ba3
BLAKE2b-256 2c199061d94f6d84db1aa4bc384a7d903f56979b2c25c12fc4d4d9fc34a45be7

See more details on using hashes here.

File details

Details for the file miraios-0.8.0-py3-none-any.whl.

File metadata

  • Download URL: miraios-0.8.0-py3-none-any.whl
  • Upload date:
  • Size: 39.6 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/7.0.0 CPython/3.13.13

File hashes

Hashes for miraios-0.8.0-py3-none-any.whl
Algorithm Hash digest
SHA256 6278d8cc19797dfe401704a228a0dfad64c915fd129cd3da1558b39c3f85ea89
MD5 ccb412055dfc0b5fd91d4dd71192196b
BLAKE2b-256 2de2cc9b4acf79f7f6e853e18a4dae92f208ae258a56e79ef20db5bc6b6fa63f

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page