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.

NarrativeLayer is an open-source system that transforms RSS feeds into structured, AI-enhanced discussion threads, combining a traditional feed view with an engagement-ranked forum where content evolves through comments, summaries, and semantic linking. https://roxanneardary.com/narrativelayer/

Model Verification Layer is a modular system for evaluating, comparing, and validating the behavior of large language models using structured benchmarks, logic consistency checks, cross-model consensus analysis, and policy-aware constraints. It provides a transparent framework for understanding how different AI models perform under identical conditions, enabling more reliable model selection, safer deployment, and user-adaptive decision making. https://roxanneardary.com/model-verification-layer/

Mindora is an open-source AI tutor that delivers personalized, source-verified lessons across all subjects. With randomly generated AI mentors, interactive visualizations, and local real-world connections, every learning session is unique, engaging, and immersive. https://roxanneardary.com/mindora/

MindVault is an open modular knowledge infrastructure specification designed as the knowledge layer for autonomous AI systems. It provides a foundation for vector storage, semantic understanding, persistent memory, reasoning preservation, and intelligent retrieval, enabling AI agents and RAG systems to build, manage, and utilize long-term knowledge. https://roxanneardary.com/mindvault/

Contract for the polyglot aice-auth module: OIDC OpenAPI 3.1 fragments, Postgres schema migrations, a Go conformance runner with cross-language test vectors, and shared GitLab CI templates.

FiscalTruth is an open-source civic watchdog platform that provides full transparency into state and public spending. It aggregates budgets, contracts, and financial records into a unified system with AI-driven anomaly detection, interactive visualizations, and secure whistleblower reporting tools. Built under the AGPL 3.0+ license, it empowers citizens, journalists, and researchers to track public funds, uncover inefficiencies, and promote accountability in government spending. https://roxanneardary.com/fiscaltruth/

Econexus is an AI-driven modular incentive economy engine that transforms traditional pay-to-play systems into contribution-based ecosystems. It analyzes games and digital platforms, then redesigns their economic structures so that participation, engagement, and meaningful contributions are directly rewarded through configurable modules such as bounties, marketplaces, sponsor funding, and dynamic revenue sharing. https://roxanneardary.com/econexus/

VitalPattern is an AI-assisted health intelligence specification designed to bring nutrition, fitness, health measurements, laboratory data, goals, and connected devices together into one continuously evolving personal profile. It helps users understand health patterns, track progress, and receive personalized food and exercise recommendations while maintaining user control, data portability, privacy, and transparency. https://roxanneardary.com/vitalpattern/

MeshCore is a modular, privacy-first infrastructure for managing digital identity, credentials, and secure authentication data across devices. Built as an encrypted, self-hostable system under the AGPL 3.0+ license, it unifies passwords, API keys, secure notes, and identity records into a connected identity graph. Designed with a strict modular architecture, MeshCore supports extensible components for autofill, sync, intelligence, and plugin-based expansion while keeping all sensitive data encrypted and under user control. https://roxanneardary.com/meshcore/

GovernanceFabric is an open source AI governance specification that provides a structured framework for policy enforcement, continuous monitoring, audit compliance, and accountable AI operations. It enables organizations to build trust into intelligent systems through transparent governance, risk management, evidence tracking, and human oversight. https://roxanneardary.com/governancefabric/

CryptaVault is a privacy-first, open-source cloud storage system built under the AGPL 3.0+ license that ensures users retain full ownership and control of their data. It uses end-to-end encryption, on-device key generation, compression, deduplication, and distributed storage to minimize storage usage while maximizing security. Designed for cross-device synchronization across mobile, desktop, and web, CryptaVault ensures that no server or third party can access user data in plaintext. Its goal is to make secure, zero-knowledge storage the global standard for personal and professional digital files. https://roxanneardary.com/cryptavault/

OpenStandardAgents — public OSSA protocol site and community hub at openstandardagents.com. Specification docs, examples, and community resources.

Continuum Companion is a modular, locally hosted, open-source AI wellness and research platform that bridges Eastern medicinal traditions and Western medical knowledge through transparent, source-backed educational guidance. Designed to support - never replace - licensed medical care, the platform provides AI-assisted research, integrative question-and-answer systems, wellness planning, and private research archiving while prioritizing privacy, evidence transparency, and ethical AI development under the AGPL-3.0+ license. https://roxanneardary.com/continuum-companion/

CodeTraceAI is an open-source AI system that merges concepts, protocols, and ideas from multiple repositories, generating fresh, modern code while ensuring ethical attribution. Every proposed merge is human-approved, and notice.md is automatically updated to credit only the contributors whose code is included. With integrated testing, security checks, license compliance, CI/CD pipelines, and continuous AI learning, CodeTraceAI turns collaborative ideas into reliable, up-to-date software. https://roxanneardary.com/codetraceai/

CivicOS AI is an open-source AGPL-3.0+ AI operating system designed to unify automation, coordination, and intelligence across public and private systems. It provides a modular runtime for agents, workflows, and plugins, enabling organizations to build, deploy, and interconnect autonomous business and civic processes. Through its interoperable architecture, CivicOS AI turns complex operations into composable, auditable, and scalable intelligent systems. https://roxanneardary.com/civicos-ai/

ChangeCore is a content intelligence system that continuously improves web pages by detecting outdated information, tracking relevance shifts, and aligning content with real-world truth and evolving user intent. It combines multi-agent analysis, external data ingestion, and AI search visibility optimization to ensure content remains accurate, discoverable, and useful over time. https://roxanneardary.com/changecore/

CargoSphere is a modular open specification for commercial maritime intelligence, connecting port infrastructure, asset records, ownership structures, operators, trade relationships, risk analysis, and economic data into a unified intelligence framework. Designed for extensibility, CargoSphere enables organizations to build transparent systems for understanding the assets, entities, and networks that drive global commerce. https://roxanneardary.com/cargosphere/

Atlas Privacy Layer is an open-source geospatial privacy framework that enables programmable control over how satellite and map imagery is rendered, transformed, and protected at the tile level. It provides a modular pipeline for applying masking, scrambling, synthetic terrain replacement, and AI-assisted object detection to sensitive regions defined by user-controlled geofenced boundaries. Designed for self-hosted deployments under the AGPL-3.0+ license, Atlas acts as a privacy-aware intermediary between raw Earth data and mapping applications, giving developers fine-grained control over what is visible in spatial imagery systems. https://roxanneardary.com/atlas-privacy-layer/