logic-audit
Use when finding contradictions or reasoning gaps.
- Version
- 0.1.1
- License
- MIT
Pinned to revision 20e5f2e76de0, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/logic-audit/SKILL.md
- skills/logic-audit/.github/workflows/ci.yml
- skills/logic-audit/assets/finding-ledger-template.md
- skills/logic-audit/evals/cases.json
- skills/logic-audit/evals/contract.md
- skills/logic-audit/evals/evals.json
- skills/logic-audit/evals/manifest.json
- skills/logic-audit/evals/rubric.md
- skills/logic-audit/evals/source-lineage.json
- skills/logic-audit/evals/source-mapping.json
- skills/logic-audit/evals/speed-budgets.json
- skills/logic-audit/evals/trigger-cases.json
- skills/logic-audit/evals/trigger-queries.json
- skills/logic-audit/examples/blocked-source-access.md
- skills/logic-audit/examples/direct-contradiction.md
- skills/logic-audit/examples/temporal-non-contradiction.md
- skills/logic-audit/mise.toml
- skills/logic-audit/references/check-catalog.md
- skills/logic-audit/references/eval-cases.json
- skills/logic-audit/references/generation-contract.md
- skills/logic-audit/scripts/check_code_rules.py
- skills/logic-audit/scripts/check_evals.py
- skills/logic-audit/scripts/lint_writing.py
- skills/logic-audit/scripts/tests/test_ci_contract.py
- skills/logic-audit/scripts/tests/test_source_mapping.py
- skills/logic-audit/scripts/validate_skill.py
Every link opens the file at its source, pinned to the revision this page describes.