Adopción progresiva en 2 modos para agentes MCP (Anthropic Model Context Protocol): Modo 1 Zero-Config (<60s, sin redactar especificaciones formales) poda hasta el 74.4% de tokens AST (D0→D3 + TokenCast), bloquea inyecciones indirectas (SARA 0.33 ms) y audita parches pre-commit (SWE-Gate < 1 ms). Modo 2 Opcional (ACI ≥ 0.9000) activa la Compuerta Axiomática Soberana con plantillas pre-hechas y sello SHA-256 (TraceKit). Certificado Grado A (100/100) por Glama.ai.
gh repo star heuristicolab/ctxfw
VAULT ($290) ↗
Ningún token ni parche avanza a ciegas. Cada petición de tu agente atraviesa 4 compuertas matemáticas deterministas en milisegundos, respaldadas por 5 herramientas MCP sobre stdio puro.
Herramienta MCP: evaluate_spec_axioms. Exige cotas explícitas, FSM total δ(S,E), taxonomía de 4 clases y ≥ 5 cláusulas never antes de autorizar código.
Herramientas MCP: resolve_context_bundle & prune_file. Poda el 74.4% de tokens AST, degrada a D3 (-89.8%) si TokenCast detecta presión, y bloquea traversal (Rules) e inyección indirecta (SARA).
Herramienta MCP: evaluate_patch. Audita el git diff unificado antes del commit. Rechaza parches que inyecten # type: ignore, imports prohibidos o inflación de complejidad ciclomática.
Herramienta MCP: query_audit_ledger. Consulta en solo lectura las 4 superficies SQLite WAL (TRACEKIT_CHAIN, SWEGATE, SARA, TOKENCAST) y verifica la cadena Merkle/SHA-256.
{
"mcpServers": {
"ctxfw": {
"command": "python",
"args": ["-m", "ctxfw.mcp"],
"env": { "PYTHONUTF8": "1" }
}
}
}
Expone las 5 herramientas canónicas (TDQS Grade A): evaluate_spec_axioms, resolve_context_bundle, prune_file, evaluate_patch, query_audit_ledger.
precommit_audit_proxy_agent
Consume ctxfw doctor, evaluate_patch (SWE-Gate) y query_audit_ledger (TraceKit) en < 2 ms antes de cada git commit para bloquear # type: ignore, imports prohibidos y fugas en stdout.
axiomatic_spec_synthesizer
Transforma tickets ambiguos en contratos SPEC.axioms.md con cotas numéricas, FSM δ(S,E), taxonomía de 4 clases y ≥ 5 cláusulas never verificados con ACI ≥ 0.9000.
A diferencia de los linters sintácticos o prompts pasivos, CTXFW v4.1.0 opera a nivel de protocolo JSON-RPC, AST y triggers SQLite WAL antes y después de que el agente sintetice código.
Evalúa formalmente cualquier brief de diseño contra una Máquina de Estados Finita (FSM), variables de dominio acotadas numéricamente y una taxonomía estricta de fallos. Requiere un índice ACI ≥ 0.9000 para desbloquear la síntesis.
Exige N ≥ 5 cláusulas prohibitivas formales ('never') y compila directivas de .cursorrules y CLAUDE.md en guardas AST/Path estáticas con decodificación de 3 rondas contra Path Traversal (%252e%252e).
Resuelve el grafo de importaciones podando cuerpos de métodos en D1–D3 (-74.4% tokens en Zulip). TokenCast proyecta consumo en aritmética 100% entera y fuerza colapso reactivo D3 (-89.81%) en estado TRIPPED.
Inspecciona observaciones crudas antes de entregarlas al LLM. Purga caracteres invisibles Unicode zero-width/bidi y escapes ANSI (STRIP_COMMANDS) y pone en cuarentena comandos destructivos (QUARANTINE_TOOL).
Audita diffs unificados de Git sin ejecutar AST dinámico inseguro. Bloquea commits que introduzcan supresiones # type: ignore, módulos prohibidos o delta ciclomático excesivo aunque pasen los tests funcionales.
Sella cada transición de presupuesto, bloqueo de seguridad y evaluación de parche en una cadena SHA-256 append-only protegida por triggers SQLite WAL contra UPDATE/DELETE, consultable vía query_audit_ledger.
Las IAs actuales sufren de complacencia probabilística: prefieren adivinar supuestos antes que admitir que un requerimiento carece de límites matemáticos.
"Haz un endpoint de transferencias seguro y escalable". La IA inventa timeouts y políticas arbitrarias.
La IA asume tipos de datos infinitos, omite límites de retención y genera código con potenciales fugas de memoria.
El código sintético llega a la rama principal sin ninguna firma o prueba formal de que satisfizo las especificaciones.
El agente tiene prohibido escribir código hasta que ctxfw.evaluate_spec_axioms emita status: VERIFIED.
5 barreras negativas explícitas aseguran que ninguna credencial, clave o token sea emitido en texto plano ni alterado en caliente.
Cada commit queda sellado con un manifest_hash inmutable. Auditoría no repudiable y trazabilidad completa de cada línea.
El test de fuego de dos minutos extraído directamente de ONBOARDING.md: de la cuarentena instantánea por ambigüedad al desbloqueo formal por pliego verificado.
Comprueba en tiempo real cómo reacciona el motor de CTXFW ante cualquier requerimiento. Modifica el texto y observa cómo fluctúa el ACI Score y el veredicto de cuarentena.
Manifest Hash: None (Awaiting compliance)
Tres comandos para blindar tu entorno de desarrollo, enlazar tus IDEs de IA y armar el repositorio.
Ejecuta el auto-test integral para certificar el motor SQLite WAL, las gramáticas Tree-Sitter y garantizar que ningún log manche el canal stdout de MCP.
ctxfw doctor
Detecta y configura automáticamente Cursor, Google Antigravity y Claude Desktop sin pisar ni corromper tus servidores MCP preexistentes.
ctxfw init --global
Despliega la plantilla canónica SPEC.axioms.md y el hook .git/hooks/pre-commit en tu proyecto activo para interceptar commits ambiguos.
ctxfw init --repo .
ctxfw gate), tarifa Flat Squad hasta 15 devs o calculadora FinOps multi-turno (4.2x)?
Para celebrar las 9,843+ instalaciones en PyPI y los 538 clones en GitHub, desbloquea el código fuente perpetuo Zero-Dependency de las 3 cápsulas más demandadas del Vault (MCP-08 Schema Gate + SARA-01 Runtime Auth + SWE-03 CI Verifier, valor individual $870 USD) más 1 mes completo de CTXFW Squad ($199 USD) en un solo pago único sin suscripción forzosa.
Diseñado para superar auditorías en banca, telecomunicaciones, defensa e infraestructura crítica.
| Marco / Estándar | Cláusula de Control | Mecanismo de Contención CTXFW |
|---|---|---|
| PCI-DSS v4.0 | Req 3.4 & 6.4 (Protección de Datos de Tarjetahabientes) | El sentry pre-commit intercepta cualquier requerimiento que admita almacenamiento o logging de PAN o CVV en claro antes de llegar al código. |
| SOC 2 Type II | CC6.6 & CC7.1 (Integridad de Código & No Repudio) | Trazabilidad criptográfica absoluta: cada commit queda ligado a un manifest_hash SHA-256 inmutable de la especificación verificada. |
| EU AI Act | Artículo 14 (Supervisión Humana y Determinismo) | Impide la síntesis probabilística no supervisada forzando al agente a respetar invariantes de dominio y estados formales aprobados. |
| DORA (UE) | Gestión de Riesgo TIC e Incidentes | Aislamiento formal de taxonomía de errores en 4 clases deterministas para evitar fallos en cascada en servicios financieros. |
Respuestas técnicas directas sobre licenciamiento Flat Squad ($199 USD/mes), aislamiento Zero-Egress en RAM, compuertas CI/CD y contacto directo con ventas e ingeniería.
A diferencia del cobro por asiento tradicional, un solo plan de $199 USD/mes cubre a todo tu squad (de 1 hasta 15 desarrolladores, ~$13/dev) y hasta 5 repositorios en CI/CD. Al solicitar tu piloto recibes una llave offline CTXFW_LICENSE_KEY válida por 7 días sin cargo para activar ctxfw gate en GitHub Actions / GitLab CI y consolidar reportes FinOps (--team-merge).
CTXFW jamás resume código con otro LLM. Utiliza análisis sintáctico AST determinista para preservar el 100% del archivo objetivo (D0) y podar únicamente cuerpos privados en dependencias periféricas (D1→D3), conservando intactas todas las firmas públicas, tipos, decoradores y contratos Pydantic.
El motor opera 100% en memoria local y SQLite WAL con cadenas de hash SHA-256 (TraceKit). Ningún prompt, código fuente, ruta ni telemetría sale jamás a servidores externos. Puede ejecutarse en contenedores Linux y redes VPC totalmente desconectadas de internet (air-gapped).
En menos de 2 minutos: como servidor MCP nativo sobre stdio puro (ctxfw mcp) dentro de tu IDE/agente, y como compuerta pre-commit o step de CI/CD (ctxfw gate) que inspecciona diffs en < 5 ms para rechazar regresiones arquitectónicas antes del merge.
Un diagnóstico forense ejecutable sobre hasta 5,000 nSLOC de tu repositorio crítico: incluye mapa exacto de inflación de tokens multi-turno, reglas SARA y SWE-Gate calibradas a tu arquitectura, diffs AST reproducibles y proyección financiera vinculante para dirección técnica.
Tienes dos vías directas sin intermediarios ni chatbots: usa el botón de Activación de Licencia / Contacto aquí debajo para despacho inmediato en 1 clic, o escribe desde tu cliente de correo a [email protected] (SLA de respuesta < 4h hábiles).
Escríbenos directamente desde tu cliente de correo corporativo o abre el formulario de activación rápida. Recibirás tu llave CTXFW_LICENSE_KEY o enlace de facturación Stripe / Invoice corporativo el mismo día.