tools

Manage repository-wide tooling for content ingestion, packaging, and Git history publishing.

4|1|Updated Aug 27, 2024
One-click install
npx skills add https://github.com/polyipseity/information --skill tools-polyipseity
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: tools
Source: https://github.com/polyipseity/information/tree/main/.agents/skills/tools
Command: npx skills add https://github.com/polyipseity/information --skill tools-polyipseity

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill provides essential repository-wide tooling, including initialization wrappers, packaging utilities, and helper scripts, to streamline development workflows and manage content.

Core Features & Use Cases

  • Content Initialization & Caching: init.py efficiently processes Markdown files with mtime/inode caching.
  • Data Conversion: convert wiki.py transforms Wikipedia HTML into Markdown, downloading media.
  • Packaging & Publishing: pack.py creates PageRank-ordered zip bundles, and publish.py mirrors private to public Git history.
  • Use Case: Coordinate multi-tool workflows, such as ingesting wiki content, generating new notes, and then packaging them for distribution.

Quick Start

Use the tools skill to pack all Markdown files into a zip bundle named bundle.zip.

Frequently Asked Questions about tools

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I convert Wikipedia HTML to Markdown and download media files?

To convert Wikipedia HTML to Markdown, use the conversion utility to transform content and automatically download associated media files. It processes the HTML structure and outputs clean Markdown for repository ingestion.

What is the best way to package Markdown files into a zip bundle for distribution?

Packaging Markdown files into a zip bundle is handled by the packaging script, which creates PageRank-ordered zip archives. This orders your content dynamically and outputs a structured bundle for distribution.

Do I need git-filter-repo to publish private repository history to public?

Yes, git-filter-repo is required for advanced operations when mirroring private Git history to a public repository. The publishing script relies on it to securely filter and rewrite commit history during publication.

How do I efficiently process Markdown files with mtime and inode caching?

Efficiently process Markdown files using the async initialization wrapper, which utilizes mtime and inode caching to skip unchanged files. This accelerates content ingestion by only processing modified Markdown data.

Does this repository tooling require Python 3.8 or newer versions?

Yes, the repository-wide tooling requires Python 3.8 or a newer version to run its scripts. This environment prerequisite ensures compatibility with the async initialization and conversion utilities.