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.

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).

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

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

A tool that helps you win Cluedo games.

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 full-stack web app created with the use of React, HTML, CSS, JavaScript, Supabase, and OpenAI! The game where you test your AI-deduction skills!