claude

lemma

Answer a hard question by building a persistent graph of atomic claims, each given a 0-1 credence by Jev from a shared evidence ledger. Keeps false and unexamined claims. Use for research questions, codebase questions, hypothesis testing, or any claim that needs careful, skeptical support.

9 on GitHubby Jared SmithMITupdated 6 days agotools
/

Plugin lemma from marketplace ratacats-skills in ratacat/ratacats-skills. Commands read from the repo's manifest — 6 days ago.

What it installs

Skills (1)

  • lemma

    Answer a hard question by building a persistent graph of atomic claims, each given a 0-1 credence by Jev from a shared evidence ledger. Keeps false and unexamined claims. Use for research questions, codebase questions, hypothesis testing, or any claim that needs careful, skeptical support.

View source on GitHub

More from ratacat/ratacats-skills

All 33 plugins →

Use when designing, auditing, or evolving a repository and its engineering workflow for coding agents — AGENTS.md or CLAUDE.md, repo-local skills, agent-readable documentation, plans and memory, scripts and guardrails, isolated workspaces, sandboxing, observability, verification, evals, or issue-driven orchestration.

1 skill

9

Find and download ebooks (PDF/EPUB/MOBI) by title/author, or look up published book content. Pair with ebook-extractor to convert downloads to text.

1 skill

9

ansi-art

claude

Create, review, convert, or embed terminal text art: ASCII/ANSI art, CP437, block ASCII, BBS logos, CLI banners, NFOs, SAUCE/XBIN/BIN/ANS output.

1 skill

9

clarify

claude

Chained clarity review of a repo, plan, or work items — combines code review, plan refinement, deep-module architecture, DRY/cruft, and naming analysis. Use for clarify/defuzz/audit/harden/fresh-eyes requests.

1 skill

9

Probe a bounded target from many angles at once — audit for hidden bugs/stale state, stress-test a claim or plan, or brainstorm wide. Falsifiable or generative probes through explicit lenses, each closed with evidence.

1 skill

9

Use when asked to crystallize a workflow, skill, codebase, or agent runs, or to find where agents repeatedly rediscover methods, apply stable rules, or do unnecessary work. Analysis of opportunities to replace repeated agent effort with reusable procedures; not a general code cleanup or an automatic implementation run.

1 skill

9

Similar plugins

superpowers

claudecodex

Core skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques

15 skills · hooks

obra/superpowers 316,836

CMEM Pro

claude

CMEM Pro for the Claude app - hooks stream tool use to cmem.ai and inject observations into new sessions and agents

3 skills · 1 MCP server · hooks

thedotmack/claude-mem 116,618

context7

claudecodex

Up-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.

1 MCP server

upstash/context7 64,709

mempalace

claudecodex

AI memory system — mine projects and conversations into a searchable palace. 47 MCP tools, auto-save hooks, guided setup.

3 skills · 6 commands · 1 MCP server · hooks

MemPalace/mempalace 60,536

5 skills + 35 modes + Material Passport pipeline. Includes v3.6.7 cross-model audit gate and v3.6.8 generator-evaluator contract.

5 skills · 16 commands · 4 agents · hooks

Imbad0202/academic-research-skills 56,698

Use Alibaba Open Code Review from local Codex.

2 skills

alibaba/open-code-review 50,068

Maintain lemma?

This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.

claude & codex plugins33 plugins