Logic.rs

Motor de Lógica Formal y SMT sin Alucinaciones para Agentes de IA

Logic.rs: El primer motor de razonamiento verificado formalmente que resuelve lógica de nivel IMO en 2 ms. Sin alucinaciones. Sin fallos de caja negra. Solo verdad verificada. Todo en AltimaOS.

Manual Interactivo para Desarrolladores y Agentes

🤖 1. Agentes de IA (mcp_config.json)

🌐 2. WebMCP (En el Navegador)

⚡ 3. API REST (Python y Rust)

🏅 4. Verificador de Pruebas Matemáticas IMO

🔒 5. Libro Mayor Verificable de Forma Privada (PVL) (Pruebas de Razonamiento Epistémico)

Agrega logic-rs\ directamente a tu mcp\_config.json\ para Claude Code, Cursor, Antigravity o Copilot:

{
  "mcpServers": {
    "logic-rs": {
      "command": "npx",
      "args": ["-y", "logic-mcp@latest"],
      "env": {
        "LOGIC_API_KEY": "sk_live_your_bearer_key"
      }
    }
  }
}

Invoca las herramientas WebMCP nativas del navegador directamente mediante window.WebMCP\ con configuración de 0 clics:

// WebMCP In-Browser Invocation
const response = await window.WebMCP.tools.logic_solve.execute({
  problem_id: "imo_2026_algebra_001",
  clues: ["x^2 + y^2 = 25", "x > 0", "y > 0"]
});

console.log("Trit Status:", response.trit_status); // "Affirm (+1)"
console.log("Verus Receipt:", response.receipt_id);

Integración de API REST de alto rendimiento para servicios backend:

import requests

res = requests.post(
    "https://api.altimaos.app/solve",
    headers={"Authorization": "Bearer sk_live_your_key"},
    json={"problem_id": "math_proof_01", "clues": ["x + y = 10", "x - y = 4"]}
)
print(res.json())  # Returns TritStatus::Affirm (+1) and VerusProofReceipt

Verificación formal de lemas de la Olimpiada IMO y Lean4 con cero alucinaciones:

// Live Antigravity & Logic.rs Output:
[Logic.rs Alpha] Lemma set 'IMO_2026_NUMBER_THEORY_LEMMA_01' 100% verified.
TritStatus: Affirm (+1)
Soundness Bits: 256 bits (0 Admitted, 42 Theorems Proven)
Verus Proof Receipt: verus_sha256_001_proven

El paradigma del Libro Mayor Verificable de Forma Privada (PVL): Mantén los datos empresariales 100% privados dentro de tu firewall mientras emites recibos de prueba criptográfica Verus de 256 bits externamente:

// Private Enterprise Attention Proof Verification
const response = await fetch("https://api.altimaos.app/solve", {
  method: "POST",
  headers: { "Authorization": "Bearer sk_ent_live_your_key", "Content-Type": "application/json" },
  body: JSON.stringify({
    problem_id: "audit_compliance_rule_904",
    clues: ["data_retention_days <= 30", "user_consent == true"]
  })
});

const proof = await response.json();
console.log("Trit Status:", proof.trit_status); // "Affirm (+1)"
console.log("Verus Proof Receipt:", proof.receipt_id); // "verus_sha256_e9a4f210b3..."
// Data stays 100% private inside enterprise firewall. Proof emits externally in 2ms.

Precios Simples y Transparentes

Arquitectura de pila SAFE de Rust con seguridad de tipos de extremo a extremo.

Nivel Gratuito

$0

1,000 Pruebas Formales/mes

• ✓ 1 Opción de Herramienta: logic_solve
• ✓ Verificación de Tarjeta de Plástico $0.00
• ✓ Pila SAFE de Rust con Seguridad de Tipos
• ✓ Memoria Transitoria Efímera

El paradigma del Libro Mayor Verificable de Forma Privada (PVL): Mantén los datos empresariales 100% privados dentro de tu firewall mientras emites recibos de prueba criptográfica Verus de 256 bits externamente:

// Private Enterprise Attention Proof Verification
const response = await fetch("https://api.altimaos.app/solve", {
  method: "POST",
  headers: { "Authorization": "Bearer sk_ent_live_your_key", "Content-Type": "application/json" },
  body: JSON.stringify({
    problem_id: "audit_compliance_rule_904",
    clues: ["data_retention_days <= 30", "user_consent == true"]
  })
});

const proof = await response.json();
console.log("Trit Status:", proof.trit_status); // "Affirm (+1)"
console.log("Verus Proof Receipt:", proof.receipt_id); // "verus_sha256_e9a4f210b3..."
// Data stays 100% private inside enterprise firewall. Proof emits externally in 2ms.

Empresarial

$2,500/mes

1,000,000 Pruebas Formales/mes

• ✓ 1,000,000 llamadas de resolución SMT/mes
• ✓ Canales de Borde Dedicados
• ✓ Facturación Automatizada en PDF
• ✓ Soporte Prioritario Asíncrono por Slack/Correo Electrónico

Polimático

$10,000/mes

*Disponibilidad Limitada

Retenedor de Asesoría de Arquitecto

• ✓ Optimización de Microkernel a Medida
• ✓ Bucles de Razonamiento Personalizados
• ✓ Acceso Directo 1-a-1 con el Arquitecto
• ✓ Contrato SLA Corporativo Personalizado

Legal y Cumplimiento (T² LLC)

💳 Política de Reembolsos

Protocolo de Solo Créditos / Sin Reembolsos: Debido a los altos costos computacionales de la verificación formal y la inferencia por GPU, todas las ventas son finales. Los usuarios compran "Créditos de Cómputo" para acceder a la API de Logic.rs. En caso de una falla sistémica confirmada del servicio (determinada por nuestros registros de auditoría internos), T² LLC se reserva el derecho de emitir créditos de cuenta. No se emitirán reembolsos en fiat/USDC.