Indium-AI-Labs

59 mods across 1 repository, 2 stars between them.

agent-orchestrator

04

Indium-AI-Labs/indium-agentkit

Agent

Read-only specialist that inspects multi-agent system states, JSON-RPC routing boundaries, context window growth, and delegation chains to prevent execution loops and payload bloat.

2 7d ago B 38 tokens

ebpf-specialist

13

Indium-AI-Labs/indium-agentkit

Agent

Audit eBPF bytecode, XDP packet processing programs, eBPF maps, and kernel-level tracing probes for safety, side effects, and verifier bounds read-only.

2 7d ago A 40 tokens

formal-verifier

16

Indium-AI-Labs/indium-agentkit

Agent

Evaluate formal specifications (TLA+, Alloy, Dafny), state space invariants, temporal logic properties, and mathematical proofs read-only.

2 7d ago A 31 tokens