AI-системи · надійність виконання · перевірні результати
English · Результати · Інженерні кейси
- Evidence-gated Agent Workflows — перевірки підстав, життєвий цикл задач і передача артефактів.
- AI Ontology — книга, запропонований профіль аудиту й виконувані приклади тяглості та перегляду.
- Signal Desk — відкриті джерела, рішення людини й передача контексту. Код.
- STROIKA — архітектурний 3D-переглядач із проєктними посиланнями. Код.
6 власних merged · 3 внески у злиті рішення мейнтейнерів. 79 PR: 68 відкритих, 5 закритих без merge. Зріз 03.11.2026 UTC.
- Код прийнято: ONNX IR #521 · TensorLy #695 · BlackJAX #1068.
- SDK та інтеграції: Braintrust #2701 · Kraft #1227 · FilesDrop #32 · merged.
- Prime Intellect: дослідження у verifiers #2973 та prime-rl; наш #2925 superseded, не злитий.
- TensorDict та TVM-FFI: відзначені внески у злиті рішення мейнтейнерів.
- M7 MCP: аудит із release credit.
- Змагання: Zoria / UA SKILLS - призер сезону; CodinGame Legend, 86/1657 у зрізі 21.10.2026.
Онтологія Дому · українською · English · PDF
Розробка з AI-інструментами. Прототипи мають окремі контракти й межі; це не історії про впровадження в клієнтів. Для workflow-прикладів: python3 run_proof.py.
Технічні питання — через Issues відповідного репозиторію.
