get violated arguments for validation and assertion
Structured error hierarchy for the ATC domain. Every error class extends `AtcError` and carries the `RULE-*` identifier of the violated specification rule. No external dependencies.
Eslint plugin checking architecture boundaries between elements
Validate and visualize dependencies. With your rules. JavaScript, TypeScript, CoffeeScript. ES6, CommonJS, AMD.
Resolves Custom Program Errors from Solana program logs or error codes.
MongoDB Shell Errors Package
Eslint plugin checking architecture boundaries between elements
CLI for packages-to-rebuild-on-changes
🍰 Custom messages processor
Write state machines once in TypeScript. The compiler mathematically proves correctness via TLA+, then generates runtime code and Postgres constraints from the same source.
dojo 1.7 based oop utils
ShipGate canonical proof bundle — .shipgate-proof.json schema, build, validate, render.
Company-style AI agent harness for Claude and Codex. Installs commands, CXX agents, skills, HR-Resource hiring pool, and project-local .harness runtime state.
Lightweight accessibility testing skill using axe-core + MagentaA11y. Minimal dependencies for embedding in agent architectures.
Enforce Architecture Decision Records as executable rules — for both humans and AI agents
Deterministic trust for TypeScript changes in agent-built systems: mutation testing, invariants, governance, and attestable authorization.
> Made with create-react-library
Global ESlint configurations for all Cadent JavaScript applications
ShipGate intent verifier — evaluates code or git diff against an approved ISL mission spec.
AI governance and alignment monitoring for the Wundr platform
A NestJS module for handling and customizing exceptions with ease.
Formal policy verification for txfence. Bounded model checking with counterexample generation and adversarial stress testing across six attack vectors.
fmake, the functional make replacement, is a build automation tool that uses functions instead of rules to define dependencies.
Postgres-native TypeScript ORM — runs on Neon, Vercel Postgres, Cloudflare, Supabase. Streaming cursors, typed errors, single-query nested relations. 1 dependency, ~110KB
Verifying constant-time code with symbolic execution
A small Rust dependency rule checker for modular architectures.
Architecture Checker — Rust-based multi-language architecture linter
Permission policies, audit logging, and trust profiles for the Brainwires Agent Framework
A fast, reliable command-line tool to extract and analyze license information from Python packages with policy-based violation detection
DSFB Structural Semiotics Calculus — typed residual sign framework, grammar FSM, endoductive operator, and provenance engine. Rust type-level realization of the DSSC formal calculus (Invariant Forge LLC, April 2026).
Dynamic code quality enforcement preventing incomplete or placeholder code
High-integrity code quality governance and transactional change management for AI-assisted development
A fast Markdown linter written in Rust (Ru(st) MarkDown Linter)
rust_arkitect is a lightweight library for defining and validating architectural rules in Rust projects
Dictator - structural linter framework with native and WASM decree support
Executable empirical companion for the DSFB theorem banks and paper figures
A simple gem to do validation
Let danger say LGTM!
A rake task to pretty-print documentation violations.
Takes your current diff as the input for rubocop
Validates code according to style guide rules for an organization and outputs them as error statements that can be consumed by another program.
Provide reporting and analysis of your site CSP violations
Review pull requests for style guide violations.
Create Cane violations for pre-Ruby 1.9 hash syntax
Audit Gemfile's license dependency violations.
Struct that does not violate encapsulation by default.
Track any kind of violations via Twitter with a geolocated tweet
Danger plugin to analyse and report sonar violations in pull request Diff.
No description provided.
No description provided.