Behavioral verification layer for the charly-vibes ecosystem — enforces spec-test correspondence
-
Updated
Oct 16, 2026 - Rust
Behavioral verification layer for the charly-vibes ecosystem — enforces spec-test correspondence
Reusable prompts and skills for LLM CLIs (pi, Claude Code, Amp, Gemini)
Deterministic knowledge workspace management — repo-local .whisper/ + global ~/.whisper/ routing
Machine-checked compatibility and composition of software components, modelled as a category of contracts
CLI workflow manager for AI-driven development — captures the why behind decisions (PARA, sessions, design matrix)
Markdown spec format (Intent / Constraints / Model / Properties) with a CLI that lints, compiles, and verifies it
One command to install, configure, and update every charly-vibes dev tool — the ecosystem orchestrator
Epistemic discipline tool for LLM workflows — makes assertions machine-checkable
Cross-language composition checking at call, module, effect, law, retry, resource, and trust boundaries
Spec-driven knowledge-graph pipeline CLI — ingest sources, extract claims, query the graph
Multi-language code quality checker with complexity metrics, duplication, and mutation testing
Rust port of Perl's Graph::Easy — parse, lay out, and render graphs as ASCII art, boxart, HTML, or DOT
Shared Rust crate of cross-cutting CLI/AIX/self-healing infrastructure for the charly-vibes tool suite
Language-agnostic test selection engine — Datalog rules + provenance semiring over a dependency graph
To associate your repository with the charly-vibes topic, visit your repo's landing page and select "manage topics."