SuperAPI AI Directory

lcs-shared

General & other

View repository

Updated 10-16 02:32

About this skill

LCS Shared

This package contains shared resources and contracts used by all Lean Coding Skills.

See contract.md for details.

Chain of Truth Level

Level: Meta

This skill is a shared reference resource and is not self-applied.