Compiler-verified multi-agent AI that gets smarter from its own failures. Local-first, AGPLv3, free and open source.
-
Updated
Aug 11, 2026 - Python
Compiler-verified multi-agent AI that gets smarter from its own failures. Local-first, AGPLv3, free and open source.
Claude Code plugin that learns from your corrections — approved lessons become rules that earn autonomy through real use: verified → trusted → autonomous. One mistake = one level down. No daemon, no cloud, 100% local.
Autonomous trading agent that verifies every decision through ThoughtProof before acting — blocked trades, signed verdicts, avoided harm. No profit claims, simulated execution.
Check whether AI-assisted R&D work is truly verified progress. Local-first LOSCR implementation with JSONL evidence ledgers, deterministic replay, service control, and claim checking.
可验证 AI 工作流行业包(DeepSeek Harness):跨境电商/自媒体团队 preset + 机器可检 runbook。任务完成=verify 全绿。
Add a description, image, and links to the verified-ai topic page so that developers can more easily learn about it.
To associate your repository with the verified-ai topic, visit your repo's landing page and select "manage topics."