A Pre-Thinker For Neuro-Symbolic Knowledge Capture.

This hub is the fast path to the project spine: Pre-Thinker control plane, write-path safeguards, live transcripts, and benchmark artifacts. Use the demo and archive sections below as the running trail of where the project has been and where it is heading next.

Live Transcripts
7
public rendered sessions
MCP Tool Surface
11
tested in surface playbook
Tests Passing
115
current documented baseline
Mode
local-first
write-path reliability lane

Live Demos

Rendered sessions are where the system is easiest to judge: tool calls, responses, and behavior in context.

simulation

Fantasy Overlord Session

Pause/resume scenario edits, state updates, and multi-hop effects shown in an operational simulation flow.

launch ops

Indie Launch War Room

Conversational launch-ops flow with deterministic risk propagation and uncertain-note intake handling.

tooling stress

Natural Language Robustness Session

Honest pass/miss capture for tool selection under more natural phrasing.

surface check

MCP Surface Playbook Session

Compact run that exercises the full MCP tool surface and captures expected behavior markers.

Quickstart

Use this if you want to go from clone to a local MCP-backed demo quickly.

install + verify

Run The Baseline

Install deps, run tests, and sanity-check docs consistency before demo capture work.

git clone <repo>
cd prolog-reasoning
pip install -r requirements.txt
python -m pytest tests -q
python scripts/check_docs_consistency.py

Read First

Load-bearing docs for the current trajectory: pre-thinker scope, write-path policy, and runtime reality.

Research And Benchmarks

Model comparison and ingestion-quality work focused on failure legibility, safe abstention, and write-discipline reliability.

Complete HTML Index

All currently published HTML pages under docs/, including research renders and run artifacts.