Nightstream
Official@lfdt-nightstream
Nightstream, an LF Decentralized Trust lab.
Agent Skills by Nightstream
Showing 6 vetted skills indexed across 1 GitHub repositories.
LFDT-Nightstreamde-slopify
Edit documentation prose to remove AI writing artifacts like emdash overuse.
LFDT-Nightstreamlean-formal-feedback-loop
Convert Lean proof friction into categorized routes and executable witnesses.
LFDT-Nightstreamcodebase-archaeology
Explore unfamiliar codebases from documentation through entry points and data flow.
LFDT-Nightstreamidea-wizard
Generate and prioritize improvement ideas into operational task beads with dependencies.
LFDT-Nightstreamcodebase-report
Generate architecture reports with file:line references from scanned codebases.
LFDT-Nightstreammulti-ai-council
Coordinate multi-provider AI passes for hard technical questions.
Frequently Asked Questions About Nightstream
FAQPage SchemaWhat specific tasks can engineers perform using Nightstream?▼
Engineers can perform formal verification of proofs, conduct deep-dive codebase archaeology to map data flows, generate granular architecture reports with line-level references, and sanitize technical documentation to remove synthetic writing artifacts.
Which technical personas benefit most from these capabilities?▼
These capabilities are designed for software architects, formal verification engineers, and technical writers who manage complex, decentralized codebases and require high-fidelity documentation and rigorous proof validation.
What are the prerequisites for running these analysis tasks?▼
Users require access to the target codebase, existing Lean proof files for verification tasks, and documentation repositories for prose refinement. No specific runtime environment is mandated beyond standard access to the Nightstream registry.