S

specification

Specification for Stateless OpenPGP Command-Line Interface

ModalLens is a research prototype for exploring and refining modal theories. The upcoming release will combine three layers: formal evidence, structural and learned analysis, and natural-language explanation.

Using Isabelle/HOL and Nitpick, it enumerates finite models and countermodels through blocking axioms, while Leo-III contributes proof evidence via TPTP/THF. The models are visualized as graphs and analysed using structural features, graphlets, clustering, and learned representations of heterogeneous semantic graphs to identify recurring patterns and differences between model families.

Selected structural patterns can then be translated into candidate refinement axioms that exclude the corresponding configurations. These axioms can be adopted automatically or with user input, followed by renewed model enumeration and analysis to examine the effects of each refinement.

LLM-generated explanations draw on the formal and structural evidence to explain findings and proposed refinements. Recorded provenance, reproducible runs, and visual exports make the process inspectable and suitable for experimental evaluation.

StructIQ is an open-source, AI-assisted structural engineering platform that combines traditional FEM with real-time AI support to optimize, simulate, and innovate building designs. It features digital twin capabilities, global building code compliance, predictive hazard analysis, advanced visualization, and an education/training mode. Fully modular, future-proof, and licensed under AGPL 3.0+. https://roxanneardary.com/structiq/

SharedMind is a collective intelligence system that listens to humanity, identifies important problems, connects knowledge and experiences, and uses multi-agent analysis to uncover existing and new possibilities for solving what matters. https://roxanneardary.com/sharedmind/

SynapCache is a distributed, zero-memory-loss caching system for all LLM outputs, designed to be LLM-agnostic, high-performance, and scalable. It combines TurboQuant-style compression, semantic search, edge caching, and predictive intelligence to store and retrieve outputs efficiently, ensuring instant recall and minimal resource usage. With developer-friendly SDKs, plugin support, and multi-cloud deployment, SynapCache provides a universal neural memory layer for modern AI workflows. https://roxanneardary.com/synapcache/

ScribeVault is an open-source, AI-driven clinical documentation platform that serves as a real-time medical scribe and post-visit summarizer. It generates structured, HIPAA-compliant medical notes, suggests ICD-10/CPT/HCPCS/SNOMED codes, and exports to C-CDA or FHIR formats. With encrypted storage, specialty-specific templates, advanced voice commands, patient-friendly summaries, and a modern dual-pane UI, ScribeVault streamlines documentation, supports physician approval workflows, and ensures security and compliance for clinics and hospitals. https://roxanneardary.com/scribevault/

Phonic is an open-source AI-powered call interception and communication intelligence system that automatically screens incoming calls, blocks robocalls, records and transcribes voicemails, and maintains a complete call log. Built with modern telephony, machine learning, and speech-to-text technologies, it acts as an intelligent privacy layer between users and the phone network, continuously learning to improve spam detection and call handling. https://roxanneardary.com/phonic/

PrivateSwitch is a self-hosted, privacy-first AI call routing system that turns a single phone number into an intelligent switchboard. It uses AI to screen and route calls, supports multiple numbers for personal or business use, and ensures all communication remains encrypted and under your control. https://roxanneardary.com/privateswitch/

OpenMail Identity is an open infrastructure for portable email addresses that gives individuals and organizations lasting control over their email identity while allowing them to change providers without changing their address. It separates the address from the mailbox and delivery provider, reducing provider lock-in and making email addresses durable, portable digital identities. https://roxanneardary.com/openmail-identity/

Documentation source files (asciidoctor), XML and schema files (XSD and relaxng) of AlpineBits

Velora is a modular language intelligence platform designed for flexible, local, and extensible language processing. It brings together language understanding, generation, retrieval, document intelligence, workflows, model management, and optional capabilities through an adaptable architecture. https://roxanneardary.com/velora/

PicPorter is an AGPL 3.0+ open source drag-and-drop uploader designed for seamless handling of images, videos, and files. Built for blogs, forums, platforms, and custom applications, PicPorter provides an intuitive interface, flexible backend storage options, file validation, and previews. Its open source nature allows developers to integrate, customize, and extend the uploader. https://roxanneardary.com/picporter/

Cirra Chat is a modular, all-in-one communication platform designed to unify messaging across multiple providers into a single, extensible system. Built with a focus on scalability, modular architecture, and clean separation of concerns, it enables developers to integrate multiple messaging services through standardized adapters while maintaining a consistent user experience. The system is designed to support future real-time messaging, encryption layers, and plugin-based expansion. https://roxanneardary.com/cirra-chat/

Axis Intelligence is an open-source, modular ambient AI platform designed to function as the central intelligence layer of a modern smart home. Built with a local-first approach, it combines real-time voice interaction, AI reasoning, voice cloning, and smart home automation into a unified system that users can fully control, extend, and customize. https://roxanneardary.com/axis-intelligence/

Open Arsenal provides open, self-hosted software specifications designed for deployment across private and public networks. Built for portability, interoperability, and transparency, each specification gives organizations the freedom to implement and customize solutions without vendor lock-in while remaining free to use under the AGPL-3.0+ license with required attribution. Specification Branding Licenses available upon request. https://roxanneardary.com/open-source-projects/

CompDesigner is an open-source specification for an AI-driven compensation design and optimization system that helps employers create lawful, tax-efficient compensation packages while maximizing employee economic value, benefits, wealth building, and compliance. https://roxanneardary.com/compdesigner/

OrganicWorks is an open source specification for modeling profitable organic resource recovery businesses from feedstock collection and processing through product development, pricing, sales, and scalable growth. It provides a transparent framework for evaluating costs, yields, margins, market opportunities, capital requirements, and business scenarios across composting, vermicomposting, blending, packaging, wholesale, retail, and other value-added pathways. https://roxanneardary.com/organicworks/

Wealth Continuum is an AGPL-3.0+ licensed AI-powered research platform that helps users discover and evaluate private banks, credit unions, cooperatives, mutual institutions, employee-owned businesses, and other privately held organizations. By combining transparency scoring, ownership quality analysis, governance evaluation, AI-powered red flag detection, document intelligence, and generational wealth metrics, Wealth Continuum focuses on identifying institutions that demonstrate responsible stewardship of capital and long-term financial resilience. https://roxanneardary.com/wealth-continuum/

Vantor is a deterministic capital routing system that converts explicit user-defined financial intent into structured, rule-validated execution instructions. It uses AI solely as a natural language parser and enforces a strict no-withdrawal, no-inference architecture where all allocations, schedules, and transactions must be explicitly defined, validated, and executed through approved deposit-only financial rails. https://roxanneardary.com/vantor/

TrustTip is a cross-platform, audit-grade tipping and attribution system that links every digital tip to its exact source content, reason, and structured financial record. It transforms informal online support into verifiable, exportable, and compliance-ready data for creators, supporters, and platforms, enabling transparent tracking of digital value across the internet. https://roxanneardary.com/trusttip/