bermuda
Neurosymbolic verifier for Bermuda Verifier. Use when verifying claim sets in this domain with FOL/SMT/e-graph/Datalog reasoning. Scaffolded by neurosym-forge.
Informações da origem
- Repositório
- CharlesHoskinson/russellian-book-suite
- Última atividade na origem
- 20 de junho de 2026 às 04:18
- Idioma detectado do SKILL.md
- inglês
- Estrelas
- 2
- Forks
- 1
Opções de instalação
Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.
Revise os arquivos de origem
Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.
