Lean Research Types
REDIRECT — the typed research protocols (M/T/L/S/D/X/E) previously hosted here have been folded into `lean-research` Part 9. This stub preserves the slug for Ctrl-F discoverability and incoming cross-references (per the zero-deletions Chesterton protocol).
Install
$ agentstack add skill-r-irbe-proof-skills-lean-research-types ✓ scanned · ✓ verified, works with Claude Code, Cursor, and more.
Verified badge
Passed review? Show it. Paste this badge into your README, it links to the public security report.
Links to your public security report.[](https://agentstack.voostack.com/security/report/skill-r-irbe-proof-skills-lean-research-types) Reliability & compatibility
Declared compatibility
Compatibility is declared by the source manifest. End-to-end runtime verification is coming, see below.
We're building live execution health for every listing: tool-call success rate, median latency, uptime, and last-checked timestamps, measured, not self-reported. It isn't live yet, so we don't show numbers we can't stand behind.
How agent discovery & health will work →About
SK-38: Typed Research Protocols (REDIRECT)
This skill no longer hosts its own protocols. Its content has been consolidated as follows so the dispatch matrix lives next to the research methodology it specialises:
| Old section | New home | |---|---| | Part 1 Classification + Part 9 Dispatch Matrix | [lean-research](../lean-research/SKILL.md) Part 9.1 + 9.2 | | Parts 2–8 protocol headlines | [lean-research](../lean-research/SKILL.md) Part 9.2 (one row per type) | | Per-type output templates | [references/research-output-templates.md](../../references/research-output-templates.md) | | Part 10 Queue Management | [references/research-queue.md](../../references/research-queue.md) | | Part 3.3 Theorem-search loop | [references/theorem-search.md](../../references/theorem-search.md) (existing) |
Existing inbound links to "SK-38 / lean-research-types / typed research protocols" should resolve here and then follow the table above. Do not add new content to this file — author it in lean-research Part 9 or the linked references instead.
See also: lean-research (full methodology), lean-proof-review (Type T dispatch target), lean-enforcement (Type S dispatch target), lean-specification (Type D dispatch target), epistemic-mapping (Type E primary), research-council (multi-type fan-out).
Source & license
This open-source skill is cataloged on AgentStack and links to its original source — we do not rehost the code.
- Author: r-irbe
- Source: r-irbe/proof-skills
- License: Apache-2.0
- Homepage: https://github.com/r-irbe/proof-skills
Install and usage instructions live in the source repository linked above.
Reviews
No reviews yet, be the first.
Write a review
Versions
- v0.1.0 Imported from the upstream source.