Logic.rs

Zero-Hallucination Formal Logic & SMT Solver for AI Agents

Logic.rs: The first formally verified reasoning engine that solves IMO-level logic in 2ms. No hallucinations. No black-box failures. Just verified truth. All on AltimaOS.

Interactive Developer & Agent Playbook

🤖 1. AI Agents (mcp_config.json)

🌐 2. WebMCP (In-Browser)

⚡ 3. REST API (Python & Rust)

🏅 4. IMO Math Proof Verifier

🔒 5. Privately Verifiable Ledger (PVL) (Epistemic Reasoning Proofs)

Add `logic-rs` directly to your `mcp_config.json` for Claude Code, Cursor, Antigravity, or Copilot:

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

Invoke browser-native WebMCP tools directly via `window.WebMCP` with 0-click setup:

// 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);

High-throughput REST API integration for backend services:

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

Formal Verification of IMO Olympiad & Lean4 lemmas with zero hallucination:

// 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

The Privately Verifiable Ledger (PVL) Paradigm: Keep enterprise data 100% private inside your firewall while emitting 256-bit Verus cryptographic proof receipts externally:

// 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.

Simple, Transparent Pricing

End-to-End Type-Safe Rust SAFE Stack Architecture.

Free Tier

$0

1,000 Formal Proofs/mo

• ✓ 1 Tool Option: logic_solve
• ✓ Plastic $0.00 Card Verification
• ✓ Type-Safe Rust SAFE Stack
• ✓ Ephemeral Transient Memory

The Privately Verifiable Ledger (PVL) Paradigm: Keep enterprise data 100% private inside your firewall while emitting 256-bit Verus cryptographic proof receipts externally:

// 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.

Enterprise

$2,500/mo

1,000,000 Formal Proofs/mo

• ✓ 1,000,000 SMT solve calls/month
• ✓ Dedicated Edge Channels
• ✓ Automated PDF Invoicing
• ✓ Priority Async Slack/Email Support

Polymathic

$10,000/mo

*Limited Availability

Architect Advisory Retainer

• ✓ Bespoke Microkernel Optimization
• ✓ Custom Reasoning Loops
• ✓ Direct Architect 1-on-1 Access
• ✓ Custom Corporate SLA Contract

Legal & Compliance (T² LLC)

💳 Refund Policy

No-Refund / Credit-Only Protocol: Due to the high computational costs of formal verification and GPU inference, all sales are final. Users purchase "Compute Credits" to access the Logic.rs API. In the event of confirmed, systemic service failure (determined by our internal audit logs), T² LLC reserves the right to issue account credits. No fiat/USDC refunds will be issued.