prior-art

Searches, audits, and adapts production code, RFCs, and academic literature as reference patterns.

10|2|Updated Jan 24, 2026
One-click install
npx skills add https://github.com/nrdxp/predicate --skill prior-art-nrdxp
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: prior-art
Source: https://github.com/nrdxp/predicate/tree/main/skills/prior-art
Command: npx skills add https://github.com/nrdxp/predicate --skill prior-art-nrdxp

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? When designing non-trivial algorithms, protocols, or system architectures, agents often improvise unverified solutions instead of grounding decisions in proven prior art. This Skill enforces a systematic search-audit-adapt procedure so implementations are anchored to production-tested code, official standards, or peer-reviewed literature rather than internal confidence. ## Core Features & Use Cases - Tiered Search Hierarchy: Searches Tier 1 permissively licensed production code (MIT, Apache-2.0, BSD), then Tier 2 official standards and RFCs (extracting RFC 2119 normative constraints), then Tier 3 academic literature and formal models (arXiv, TLA+), halting if no grounding exists. - Workspace Hygiene for Cloning: Mandates shallow clones (--depth 1), sparse checkouts, and an isolated .prior_art_cache/ directory, with a purge gate requiring rm -rf .prior_art_cache/ before any commit boundary. - Invariant Auditing: Blocks direct copy-paste by auditing imported logic against spatial simplicity (Hickey audit) and temporal volatility (Lowy audit), and records findings with licenses, citations, and extracted invariants in the active sketch ledger. - Use Case: When implementing a consensus protocol, the Skill first audits an Apache-2.0 reference implementation, maps RFC normative constraints, extracts safety invariants from a TLA+ specification, and documents how each invariant adapts to the target codebase. ## Quick Start Use the prior-art skill to research existing implementations and standards before designing this distributed rate limiter.

Frequently Asked Questions about prior-art

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

FAQPage Schema
How do I find reference implementations before designing an algorithm?

Follow the tiered search hierarchy: first search GitHub for actively maintained, permissively licensed projects (MIT, Apache-2.0, BSD-3-Clause), then official standards like IETF RFCs, then academic sources such as arXiv or TLA+ specifications. Extract invariants rather than copying code.

How to clone a GitHub repo for inspection without cluttering the workspace?

Clone into a dedicated .prior_art_cache/ directory using git clone --depth 1 --filter=blob:none --sparse --no-checkout, then configure sparse-checkout for only the needed paths. Run rm -rf .prior_art_cache/ before any commit boundary.

Can I copy code from GPL-licensed repositories as reference?

No. The Skill prohibits reading copy-restricted code such as GPL, AGPL, or proprietary sources to avoid licensing contamination. Only permissively licensed code (MIT, Apache-2.0, BSD-3-Clause) may be audited, and even then logic must be adapted, not copied.

What happens when no prior art exists for a complex algorithm?

The Termination Gate requires the walk to halt and transition to manual clarification. Greenfield implementation of highly complex algorithms without empirical or mathematical grounding is forbidden.

How do I extract requirements from an RFC specification?

Locate the defining standard (IETF RFC, W3C, IEEE) and extract normative constraints using BCP 14/RFC 2119 keywords such as MUST, MUST NOT, SHALL, SHOULD, and OPTIONAL. Record these constraints as protocol invariants in the active sketch ledger.