dsh-openpencil

jacobian

@morluto

検証済み

agentのための純粋数学: 例や反例の探索、正確な計算、および結果が何を証明しているかの独立した検証を行います。

dsh-turn-rewind

@Anionex

検証済み

DSH - 永続的なChange Ledgerを搭載し、会話とワークスペースの状態を巻き戻し可能にします。

flameox

@morluto

検証済み

agentがアプリケーションやネイティブコード、GPUカーネル、推論スタックにおけるホットスポットを追跡、プロファイリング、および解消するのを支援するランタイムエビデンスです。