kpopper
v0.9.0Make your agents' reasoning explicit, persistent, and deterministically checkable. Connect decisions to evidence and assumptions, and see what needs another look when a recorded premise changes.
By Ilan Bar MagenLicense: MIT4 GitHub starsUpdated yesterday
Directory evidence
- Runtimes
- Codex and Claude Code
- Parsed components
- 10 skill or MCP entries
- Source updated
- Sep 23, 2026
- Manifest status
- Canonical path parsed
The directory validates manifest shape and source location. It does not execute the plugin or provide a security endorsement. Review the indexing methodology →
Install kpopper for Codex and Claude Code
codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add kpopper@agent-plugin-marketplacePaste and run these commands in a terminal with Codex. They add and refresh the PluginsMP catalog, then install this plugin.
The installer fetches third-party code from the source repository shown on this page. This directory validates manifest structure and source location, but does not perform a security audit; review the manifest, components, and source before installing.
Get the source manually
git clone https://github.com/ilanbm/kpopperClone the source repository, then follow its setup instructions to add the plugin to a compatible client. The repository root is the plugin root.
Plugin files
├── .codex-plugin/plugin.json├── .claude-plugin/plugin.json├── skills/annotated-doc/SKILL.md├── skills/consolidate/SKILL.md├── skills/document/SKILL.md├── skills/ground/SKILL.md├── skills/hub/SKILL.md├── skills/kpopper/SKILL.md├── skills/map/SKILL.md├── skills/page/SKILL.md├── skills/record/SKILL.md└── skills/watch/SKILL.md
Included Skills10
Annotated Documents: optional experimental application for standalone HTML with evidence. Use when the user explicitly requests Annotated Documents or a kpopper HTML document with evidence, refreshes an existing kpopper document, or has a standing preference for this application. Generic HTML requests do not select it. Install the HTML runtime before use. Not for the record's own page or an ordinary website. Requests come in any language.
Test, fold or refute hypotheses beside the knowledge record, and reconcile records across branches. Use when open or check say hypotheses wait or an id is CONTESTED, when a write was refused into a hypothesis, before merging a branch whose record changed, and when a pull request's dry run or remeasure is red. Covers consolidate --dry-run, the fold, --refute, --from, same and distinct at the fold, and remeasure.
Compatibility alias for Annotated Documents. Use when explicitly invoked as $document or /kpopper:document. Follow the canonical annotated-doc skill; do not select this alias for ordinary requests.
Read the project's knowledge record before answering from memory or from the files. Use before answering about the project's state, a number, a date, a decision, a source, a deadline or what was agreed - even a casual 'what's the situation with X' or 'is that quote still current' - because the recorded answer, with its source, beats a fresh search of the tree; before changing a value the record may hold; and whenever the session opener or a grounding line names entries. Runs pull, affects and check, reads what hypotheses and other branches propose, and searches when a question maps to no name. A missing id is not absence. Not for showing the record's page (the hub skill). Requests come in any language.
kpopper Hub: optional experimental application for exploring the project record. Use when the user explicitly requests kpopper Hub or its record page, its graph, layout or verification, or has a standing preference for this application. Do not render automatically after mapping or recording. Install the HTML runtime before use. Not for ordinary HTML documents or a text answer from the record. Requests come in any language.
The kpopper method: a knowledge record (GROUNDING.yaml) for work that gets revisited - what is known, where each piece came from, and what would make each conclusion wrong. Use when asked what kpopper is or how to keep a record, when choosing which kpopper skill fits a moment, or when no narrower one does. The occasions have their own skills: ground (read the record before answering), record (write what the work found), map (map existing materials), annotated-doc (a standalone HTML document with evidence), hub (the record's visual home), consolidate (hypotheses and merges), watch (background checks).
Map existing materials into a first knowledge record, or investigate a subject's history in depth. Use whenever the user asks to map, survey, go through, reconstruct or investigate what already exists - folders of documents, decision records, meeting notes, emails, exports, code - or wants a starting record built from existing materials, even when the word 'record' is never said: consult this before listing or reading the files yourself, because a map has an agreed scope, a protocol and a report. Also, once, at a suitable moment, to offer the starting choices where a workspace has no record and the work is clearly ongoing - never on a greeting. Learning while working needs no map. Requests come in any language.
Compatibility alias for kpopper Hub. Use when explicitly invoked as $page or /kpopper:page. Follow the canonical hub skill; do not select this alias for ordinary requests.
Write what the work found into the project's knowledge record, so the next session inherits it instead of re-deriving it. Use the moment something worth keeping exists: a fact taken from a source, a rule worked out, a decision or conclusion, a measurement, a correction to a recorded value, or a question left open - and check for unrecorded findings before implementation, handoff (including a PR), or finishing work. Record within the user's write authorization. The first write creates GROUNDING.yaml. Covers one-report update, add, set, review, same and distinct, judgments with a falsifier, and background capture.
Set up kpopper watch for background branch compatibility, scoped shared facts, and daily review. Use when asked to watch a project's graph, check worktree changes against main, share external observations, or install a kpopper routine. Ordinary followup capture recommends scheduling without enabling it.
Plugin manifests2
{
"name": "kpopper",
"version": "0.9.0",
"description": "Make your agents' reasoning explicit, persistent, and deterministically checkable. Connect decisions to evidence and assumptions, and see what needs another look when a recorded premise changes.",
"author": {
"name": "Ilan Bar Magen"
},
"keywords": [
"provenance",
"epistemic",
"falsifiability",
"truth-maintenance",
"traceability",
"research"
],
"license": "MIT",
"skills": "./skills/",
"hooks": "./adapters/codex/plugin-hooks.json",
"interface": {
"displayName": "kpopper",
"shortDescription": "Make your agents' reasoning persistent and checkable.",
"longDescription": "kpopper makes your agents' reasoning explicit, persistent, and deterministically checkable. It connects decisions to evidence, assumptions and earlier decisions, records what would make them worth revisiting, and traces what needs another look when a recorded premise changes. Optional experimental applications include kpopper Hub for exploring the record and Annotated Documents for sharing HTML with evidence.",
"developerName": "Ilan Bar Magen",
"category": "Productivity",
"capabilities": [
"Read",
"Write"
],
"defaultPrompt": [
"Open this project’s record and show what needs attention.",
"Check and set up this project's daily kpopper review."
]
}
}{
"name": "kpopper",
"version": "0.9.0",
"description": "Make your agents' reasoning explicit, persistent, and deterministically checkable. Connect decisions to evidence and assumptions, and see what needs another look when a recorded premise changes.",
"author": {
"name": "Ilan Bar Magen"
},
"keywords": [
"provenance",
"epistemic",
"falsifiability",
"truth-maintenance",
"traceability",
"research"
],
"license": "MIT"
}For maintainers
If you maintain this plugin, link to this source-backed listing from your README so users can review its manifest and indexed components.
[kpopper on Agent Plugins Marketplace](https://pluginsmp.com/plugins/kpopper)