Skip to main content
Avatar for Carmen from gravatar.com

Carmen

Username    Caresment
Date joined   Joined

14 projects

aegis-security

Last released

AI Environment Guardian & Integrity Shield — Supply chain security for developers and AI agents

kore-bridge

Last released

LLM integration layer for kore-mind. Runtime-agnostic cognitive bridge.

kore-stack

Last released

Complete cognitive middleware stack for LLMs. Memory + routing + cache + observability in one install.

kore-platform

Last released

Enterprise-grade AI orchestration platform with declarative YAML flows, cryptographic signing, and multi-model support.

aip-bench-suite

Last released

Benchmarking suite for LLM hallucination detection, inference efficiency, and QA compression evaluation

aip-proxy

Last released

AIP Proxy — Token compression proxy for LLM APIs. Reduce costs 15-40% on any AI IDE (Antigravity, Cursor, VS Code, etc.)

aip-engine

Last released

Algebraic Independence Processor — auto-detection of matrix structure + memory-efficient computation for ultra-large sparse systems

kore-mind

Last released

Persistent memory + emergent identity engine for any LLM

kore-engine

Last released

Kore — Motor de Conocimiento Inteligente. Cache + comprensión + decisión en un solo paquete.

llm-ekg

Last released

Mathematical health monitor for LLMs — detect degradation and hallucination without NLP

sc-router

Last released

AI routing based on Selector Complexity theory

selector-complexity

Last released

Selector Complexity Framework: classifying tautologies by selector cost in IPS (Ideal Proof Systems). Proves SC(0) ⊊ SC(1) ⊊ SC(2) ⊊ SC(3).

torc-portfolio

Last released

Portfolio constraint feasibility checker with LP/MIP/CVaR support

torc-sat

Last released

Topological SAT preprocessor — detects UNSAT via cohomological obstructions

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page