deduction

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.

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.

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

the rational proof assistant

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

Two mechanically-scored evals for LLMs: infer a hidden rule from examples, and write a solver for a novel formal system where every step must be provably legal.

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

Mentalist trainer: daily observation missions + AI dossiers with real sources (OpenAlex) — 27 tests

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.