AI-системи · надійність виконання · перевірні результати
English · Результати · Інженерні кейси
- Evidence-gated Agent Workflows — перевірки підстав, життєвий цикл задач і передача артефактів.
- AI Ontology — книга, запропонований профіль аудиту й виконувані приклади тяглості та перегляду.
- Signal Desk — відкриті джерела, рішення людини й передача контексту. Код.
- STROIKA — архітектурний 3D-переглядач із проєктними посиланнями. Код.
7 власних merged · 3 внески у злиті рішення мейнтейнерів. 99 PR: 86 відкритих, 6 закритих без merge. Зріз 04.11.2026, 12:05 UTC.
- Лезо: 20 нових подань — датовані локальні перевірки та стани рев’ю.
- Код прийнято: ONNX #8734 · 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 відповідного репозиторію.
