Simple portable static server
FRAIM CLI - Framework for Rigor-based AI Management (alias for fraim-framework)
Model Context Protocol server for Rigor — exposes Rigor projects to coding agents (Claude Code, Codex, Cursor) so users can summon their agent from inside Rigor without switching to their IDE. Also ships rigor-watch, a daemon that wakes a local agent when
Local web dashboard for userigor: metrics, patterns, time-series. Reads ~/.rigor/data.db.
Evaluation framework for LLM knowledge inputs — prompts, RAG corpora, skills, agent workflows. Fix the model, vary the artifact. Built-in statistical rigor: bootstrap CI, Krippendorff α, length-debias, saturation curves.
Spec-Driven Development toolkit for Claude Code — transform rough requirements into professional specs, implement them, verify coverage, and keep continuity across sessions. Optional dev mode for senior-level rigor, plus a fast path for trivial changes.
Install Agent-Native Research Artifact (ARA) skills — compiler, research-manager, rigor-reviewer — into Claude Code, Cursor, OpenCode, Gemini CLI, Codex, and more.
Install Agent-Native Research Artifact (ARA) skills — compiler, research-manager, rigor-reviewer — into Claude Code, Cursor, OpenCode, Gemini CLI, Codex, and more.
Streamlined AI CLI orchestration engine with mathematical rigor and enterprise-grade reliability
G1 Test Suite. The unified, high-rigor test framework and suite for all G1 services. Guarantees code integrity and compliance across all products.
Engineering rigor for AI coding — one command to set up quality gates for any agent
🚀 Beautiful and modern React UI library built with Tailwind CSS 4.0.
An object-oriented command-line parser for TypeScript
SPECT methodology starter kit — works with Claude Code, OpenCode, Gemini CLI, Codex CLI, and GitHub Copilot CLI
FRAIM: AI Workforce Infrastructure — the organizational capability that turns AI agents into an accountable workforce, their operators into capable AI managers, and executives into leaders with clear optics on AI proficiency.
`@euriklis/ds-architect` is a modular and extensible library that provides a rich ecosystem for graph and network-based data structures. Designed with both academic rigor and practical application in mind, this library offers powerful graph algorithms and
Command-line interface for userigor.
Install LLM coding guidelines for Claude, Antigravity, or Opencode
Claude Code adapter for userigor: skill, slash commands, and PostToolUse hook for auto-capture.
Core engine for userigor: capture corrections, cluster patterns, inject context, measure outcomes.
Cursor adapter for userigor: generate .cursorrules from active patterns.
Model Context Protocol server for Grapha — exposes Grapha projects to coding agents (Claude Code, Codex, Cursor) so users can summon their agent from inside Grapha without switching to their IDE. Also ships grapha-watch, a daemon that wakes a local agent
AI-driven development workflow commands for any project. Scaffolds a complete PRD-to-PR pipeline with multi-platform AI assistant support.
empty
CLI tool to perform snapshot testing for your HTTP/REST APIs.
Automated research quality assurance — verification-gated task registry, citation verification, reproducibility checks.
AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.
A modular, mathematically rigorous, performant, reusable simulated annealing optimization engine
secp256k1 subsystem
First principles, minimally dependent, geometric and topologically focused math library
A more rigorous way to map XML to Rust types
Measure theory for agents — rigorous foundation of integration and probability
Conformal prediction with formal verification: CPD, PCP, streaming calibration, and Lean4 proofs
Cova's geometric and topological library
Comprehensive flamegraph analysis CLI with intelligent hotspot detection, source code attribution, allocation analysis, and LLM-friendly structured output for performance optimization
Enterprise-grade fractal analysis for quantitative finance applications
A rigorous A/B testing framework.
Metrics and Events wrapper for DataDog
libkalibera contains reimplementations of the statistical computations for benchmarking evaluation from the following papers by Tomas Kalibera and Richard Jones: 'Rigorous benchmarking in reasonable time'; 'Quantifying performance changes with effect size confidence intervals'.
Rigor is a CLI-first static analyzer for Ruby applications that prioritizes type inference, clean application code, and zero runtime dependencies.
**Cache Ninja** is the ultimate solution for safely and efficiently caching associations in your Ruby on Rails applications. While association caching is typically discouraged, there are specific scenarios where it's not just beneficial but essential for optimizing performance. **Cache Ninja** has been rigorously tested and is currently employed in our production-grade servers, making it the most reliable gem for association caching in Rails.
Verification-gated task registry, citation verification, reproducibility checks. Trust nothing, verify everything.
HttpLoader is a powerful, high-concurrency performance and load testing console tool. Built on asynchronous Ruby, it evaluates server limits by opening massive numbers of persistent connections and holding them open. It utilizes event-driven I/O with optional periodic ping requests to keep connections active, allowing you to rigorously benchmark maximum concurrent socket capacity with precision and minimal client-side overhead.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.