adsc-clinical
Neurosymbolic verifier for ADSC Clinical Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
ソース情報
- リポジトリ
- CharlesHoskinson/russellian-book-suite
- ソースの最終更新活動
- 2026年6月16日 04:44
- 検出された SKILL.md の言語
- 英語
- スター
- 2
- フォーク
- 1
インストール方法
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
ソースファイルを確認
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。