deduction

Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly resetting simulated world.

👀 Mafia/ToS/Werewolf inspired web based game. Play the famous social deduction game, with 14 unique roles!

A web-based natural deduction proof editor and checker for propositional logic.

Secret Hitler pass and play SPA. Built with @vuejs

➡️Formal logic deduction based on system-L

Exercices interactifs de déduction naturelle avec arbre de preuve

🔍 福尔摩斯多视角分析引擎 — 7 种认知原型并行分析，挖掘冲突与盲区，产出任何单一模型都无法达到的洞察深度。Sherlock Holmes analytical framework for Claude Code.

An agent skill that reads a photo the way Sherlock Holmes reads a stranger (福尔摩斯): observe first, deduce second, every conclusion cites its evidence and you grade it. Works with Claude Code, Codex, Cursor, Gemini CLI, OpenCode and GitHub Copilot.

the rational proof assistant

Fact evidence-first brain with property graph + hybrid RAG. Search is deduction. ETL included.

The Database for AI

A graph based prover.

This repository contains codes of deep deducing playing Game of Life.

An ASI architecture that combines latent diffusion (LD) modules for inference with autoregressive (AR) modules for inference. It also establishes an AI-inspired model that draws inspiration from time-frequency domains to perform true deduction (inference needs less).

Command-line deduction solver for the board game Clue / Cluedo.

A 1v1 auto-battler where the fog of war points at YOU - deduce your own army, poker-style. Unity / deterministic C# sim.

A murder-mystery deduction puzzle with procedurally generated cases, powered by a custom constraint solver. Vue 3 + TypeScript, installable as an offline PWA.

This repository contains codes of deep deducing solving blank Sudoku.

A tool that helps you win Cluedo games.