THOR
Local memory for coding agents. A rule with a runnable proof can refuse a wrong command.
インストール
実行可能なパッケージ
現在の Registry レコードには、対応するパッケージまたはリモートエンドポイントが登録されていません。
できること
ツール一覧
公開できるツールの列挙は記録されていません。
コミュニティ
エビデンス
最近の観測
このサーバーには Registry のメタデータがありますが、公開された検証実行はまだありません。