Skip to main content

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.

Zur Installation springen

Quellinformationen

Repository
CharlesHoskinson/russellian-book-suite
Letzte Quellaktivität
16. Juni 2026 um 04:44
Erkannte Sprache von SKILL.md
Englisch
Sterne
2
Forks
1

Installationsoptionen

Standardmäßig ist der Prompt ausgewählt, der zuerst die Quelle prüft. Sie können zu einem direkten Befehl wechseln oder eine lokale Kopie herunterladen.

Quelldateien prüfen

Lesen Sie SKILL.md und alle von SkillsMP angezeigten Begleitdateien, bevor Sie sich für eine Installation entscheiden.