Agent Plugins Marketplace
← All plugins

lemma

v0.1.2

Source-linked JSONL chunks from Solidity compiler inputs and Markdown documents.

CodexClaude Code1 Skill

By Wildcat LabsLicense: Apache-2.07 GitHub starsUpdated 15 hours ago

Directory evidence

Runtimes
Codex and Claude Code
Parsed components
1 skill or MCP entry
Source updated
Aug 26, 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 plugin

Installs for the current user
codex plugin marketplace add IchenDEV/agent-plugin-mkt
codex plugin marketplace upgrade agent-plugin-marketplace
codex plugin add lemma@agent-plugin-marketplace

Paste 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/wildcat-finance/skills

Clone the source repository, then follow its setup instructions to add the plugin to a compatible client. The plugin root is plugins/lemma/.

Plugin files

plugins/lemma/
├── .codex-plugin/plugin.json
├── .claude-plugin/plugin.json
└── skills/lemma/SKILL.md

Included Skills1

lemmaskills/lemma/SKILL.md

Turn Solidity solc standard JSON inputs or Markdown document trees into validated JSONL chunks with source locations and separate quotation, model, and embedding text. Use when asked to run Lemma, invoke lemma:lemma, prepare Solidity or Markdown for retrieval, generate citation-aware chunks, or inspect Lemma output. Do not use it to embed, index, retrieve, or answer from the chunks.

Plugin manifests2

plugins/lemma/.codex-plugin/plugin.json
{
  "name": "lemma",
  "version": "0.1.2",
  "description": "Source-linked JSONL chunks from Solidity compiler inputs and Markdown documents.",
  "author": {
    "name": "Wildcat Labs",
    "url": "https://wildcat.finance"
  },
  "homepage": "https://github.com/wildcat-finance/skills/tree/main/plugins/lemma",
  "repository": "https://github.com/wildcat-finance/skills",
  "license": "Apache-2.0",
  "keywords": [
    "solidity",
    "markdown",
    "chunking",
    "retrieval",
    "citations"
  ],
  "skills": "./skills/",
  "interface": {
    "displayName": "Lemma",
    "shortDescription": "Source-linked JSONL chunks from Solidity compiler inputs and Markdown documents.",
    "longDescription": "Runs one of two standard-library Python chunkers: Solidity from solc standard JSON input, or Markdown from a document tree. The output uses a shared schema that separates source text used for quotation from model and embedding text. Lemma does not embed, index, retrieve, or answer from the chunks.",
    "developerName": "Wildcat Labs",
    "category": "Developer Tools",
    "capabilities": [],
    "defaultPrompt": "Use $lemma to turn Solidity or Markdown sources into validated JSONL chunks."
  }
}
plugins/lemma/.claude-plugin/plugin.json
{
  "name": "lemma",
  "displayName": "Lemma",
  "version": "0.1.2",
  "description": "Source-linked JSONL chunks from Solidity compiler inputs and Markdown documents.",
  "author": {
    "name": "Wildcat Labs",
    "url": "https://wildcat.finance"
  },
  "homepage": "https://github.com/wildcat-finance/skills/tree/main/plugins/lemma",
  "repository": "https://github.com/wildcat-finance/skills",
  "license": "Apache-2.0",
  "keywords": [
    "solidity",
    "markdown",
    "chunking",
    "retrieval",
    "citations"
  ],
  "skills": "./skills/"
}

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.

[lemma on Agent Plugins Marketplace](https://pluginsmp.com/plugins/lemma)