Applied intelligence analysis

Skill r-irbe/proof-skills/skills/applied-intelligence-analysis

APM-installable agent skills for Lean 4 and Mathlib4 — proof tactics, math domains, review and research workflows, generic tooling.

Install

npx -y skills add r-irbe/proof-skills --skill applied-intelligence-analysis

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

One thing to look at

2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.

What its author says it does

Copied from the file, not written here

USE FOR: Intelligence analysis methodology — structured analytic techniques (SATs), evidence reasoning, hypothesis generation, cognitive bias mitigation, competitive intelligence, and their formalization. Use for analysis of competing hypotheses (ACH), link analysis, timeline reconstruction, source reliability assessment, and connections to quality gates, provenance, and multi-agent trust. DO NOT USE FOR: formalising intelligence reasoning in Lean (use @lean-applied-reasoning); strategy analysis (use @applied-strategy-analysis); legal reasoning (use @applied-legal-reasoning). TRIGGERS: structured analytic techniques, SATs, evidence reasoning, hypothesis generation, cognitive bias, intelligence analysis, competing hypotheses.

SKILL.md

4.2 KB, as published. Nobody here has run it

Intelligence Analysis

Structured analytic techniques and evidence-based reasoning frameworks for intelligence, investigative, and analytical contexts.

Routing

USE FOR: Intelligence analysis methodology — structured analytic techniques (SATs), evidence reasoning, hypothesis generation, cognitive bias mitigation, competitive intelligence, and their formalization. Use for analysis of competing hypotheses (ACH), link analysis, timeline reconstruction, source reliability assessment, and connections to quality gates, provenance, and multi-agent trust.
DO NOT USE FOR: formalising intelligence reasoning in Lean (use @lean-applied-reasoning); strategy analysis (use @applied-strategy-analysis); legal reasoning (use @applied-legal-reasoning).
TRIGGERS: structured analytic techniques, SATs, evidence reasoning, hypothesis generation, cognitive bias, intelligence analysis, competing hypotheses.

Workflow

Classify the analytic task: hypothesis generation, evidence aggregation, competing-hypothesis evaluation, or bias mitigation.
Pick the matching SAT (ACH, key-assumptions check, devil's advocacy, red-team) from the body.
Apply the SAT to the concrete intelligence question; produce the structured output (hypothesis matrix, assumption ledger).
Hand off: to @lean-applied-reasoning for Lean encoding, to @applied-strategy-analysis for downstream strategy work, to @lean-zettelkasten.

Recovery & STOP

STOP if the question is purely about strategy creation — delegate to @applied-strategy-analysis.
STOP if evidence is missing for hypothesis evaluation — escalate to @research-council.
STOP if the legal/regulatory dimension dominates — delegate to @applied-legal-reasoning.

Handoffs

Predecessors: agent:gateway, skill:lean-research.
Successors: skill:lean-applied-reasoning, skill:applied-strategy-analysis, skill:lean-knowledge-formalization.

Detailed reference

Full content for applied-intelligence-analysis lives in references/applied-intelligence-analysis-handbook.md. Load that file when the skill is convened; the SKILL.md only carries the dispatch contract and the parts index.

Section	Topic
Part 1	Structured Analytic Techniques (SATs)
Part 2	Analysis of Competing Hypotheses (ACH)
Part 3	Evidence Reasoning
Part 4	Cognitive Bias Mitigation
Part 5	Link Analysis & Network Intelligence
Part 6	Scenario Analysis & Forecasting
Part 7	Source Handling & HUMINT Reasoning
Part 8	Cross-References