rigorxrigor 0.1.0__tar.gz

rigorxrigor-0.1.0/.gitignore

@@ -0,0 +1,41 @@
+# Python
+__pycache__/
+*.pyc
+*.pyo
+.pytest_cache/
+.mypy_cache/
+.ruff_cache/
+*.egg-info/
+.venv/
+venv/
+
+# Frontend (extra safety; frontend/.gitignore also covers these)
+node_modules/
+dist/
+.vite/
+
+# Local-only data snapshots
+data/index/
+data/deep_match_log.jsonl
+data/eval/run_*.json
+
+# Bulk-ingested shards: regenerable from scripts/bulk_ingest.py.
+# Only the committed seed shard + .gitkeep ride along in the repo.
+data/ingested/*.json
+!data/ingested/seed.json
+data/ingest_manifest.jsonl
+
+# Editor / OS
+.DS_Store
+.idea/
+.vscode/
+*.swp
+
+# Logs
+*.log
+
+# Old launcher shim (kept for back-compat; not tracked)
+cli/mg
+
+# Local Netlify folder
+.netlify

rigorxrigor-0.1.0/PKG-INFO

@@ -0,0 +1,103 @@
+Metadata-Version: 2.4
+Name: rigorxrigor
+Version: 0.1.0
+Summary: RigorXRigor CLI: verify, prove, and discover mathematics from any agent.
+Project-URL: Homepage, https://app.rigorxrigor.com
+Project-URL: Documentation, https://app.rigorxrigor.com
+Author: RigorXRigor
+License: Apache-2.0
+Keywords: agent,knowledge-graph,llm,math,verification
+Classifier: Environment :: Console
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Programming Language :: Python :: 3
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.10
+Requires-Dist: httpx>=0.27
+Provides-Extra: dev
+Requires-Dist: pytest>=8.0; extra == 'dev'
+Requires-Dist: ruff>=0.6; extra == 'dev'
+Description-Content-Type: text/markdown
+
+# rigorxrigor
+
+CLI for [RigorXRigor](https://app.rigorxrigor.com), a machine-verified
+knowledge graph of mathematics. Designed for agents and humans alike.
+
+## Install
+
+```bash
+pipx install rigorxrigor
+```
+
+Or run one-shot without installing:
+
+```bash
+uvx rigorxrigor verify 'sin^2(x) + cos^2(x) = 1'
+```
+
+## Sign in
+
+Planned before the public PyPI release: first-time users and agents will be
+able to create a free account from the CLI:
+
+```bash
+rigorxrigor signup
+```
+
+This will open the WorkOS signup page in your browser, return to the local CLI
+callback, and store tokens in `~/.rigorxrigor/auth.json`.
+
+For browserless environments:
+
+```bash
+rigorxrigor signup --no-browser
+```
+
+Open the printed URL manually to complete signup.
+
+Existing users can sign in with:
+
+```bash
+rigorxrigor login
+```
+
+This opens your browser, sends you through RigorXRigor sign-in, drops you back
+to a "you can close this window" page, and saves your access token to
+`~/.rigorxrigor/auth.json`.
+
+## Usage
+
+```bash
+rigorxrigor status
+rigorxrigor verify 'sin^2(x) + cos^2(x) = 1'
+rigorxrigor search "logarithm"
+rigorxrigor rag "kepler's third law" -k 5 --hops 2
+rigorxrigor show eq_pythagorean
+rigorxrigor whoami
+rigorxrigor logout
+```
+
+Exit codes mirror the local `rxr` tool:
+
+- `0` verified / success
+- `1` not verified
+- `2` usage error
+- `3` backend error / auth error
+
+## Configuration
+
+`~/.rigorxrigor/auth.json` holds your tokens. Override the API server with:
+
+```bash
+RXR_API_URL=https://api.rigorxrigor.com      # default
+RIGORXRIGOR_API=https://api.rigorxrigor.com  # also supported
+RIGORXRIGOR_AUTH=~/.rigorxrigor/auth.json    # default
+```
+
+The browser login callback listens on `http://127.0.0.1:8765/callback` by
+default. Override the port with `RIGORXRIGOR_LOGIN_PORT` if needed.
+
+## Local mode
+
+This package talks to the cloud API. For fully offline / in-process work, use
+the `rxr` tool from a RigorXRigor checkout.

rigorxrigor-0.1.0/README.md

@@ -0,0 +1,83 @@
+# rigorxrigor
+
+CLI for [RigorXRigor](https://app.rigorxrigor.com), a machine-verified
+knowledge graph of mathematics. Designed for agents and humans alike.
+
+## Install
+
+```bash
+pipx install rigorxrigor
+```
+
+Or run one-shot without installing:
+
+```bash
+uvx rigorxrigor verify 'sin^2(x) + cos^2(x) = 1'
+```
+
+## Sign in
+
+Planned before the public PyPI release: first-time users and agents will be
+able to create a free account from the CLI:
+
+```bash
+rigorxrigor signup
+```
+
+This will open the WorkOS signup page in your browser, return to the local CLI
+callback, and store tokens in `~/.rigorxrigor/auth.json`.
+
+For browserless environments:
+
+```bash
+rigorxrigor signup --no-browser
+```
+
+Open the printed URL manually to complete signup.
+
+Existing users can sign in with:
+
+```bash
+rigorxrigor login
+```
+
+This opens your browser, sends you through RigorXRigor sign-in, drops you back
+to a "you can close this window" page, and saves your access token to
+`~/.rigorxrigor/auth.json`.
+
+## Usage
+
+```bash
+rigorxrigor status
+rigorxrigor verify 'sin^2(x) + cos^2(x) = 1'
+rigorxrigor search "logarithm"
+rigorxrigor rag "kepler's third law" -k 5 --hops 2
+rigorxrigor show eq_pythagorean
+rigorxrigor whoami
+rigorxrigor logout
+```
+
+Exit codes mirror the local `rxr` tool:
+
+- `0` verified / success
+- `1` not verified
+- `2` usage error
+- `3` backend error / auth error
+
+## Configuration
+
+`~/.rigorxrigor/auth.json` holds your tokens. Override the API server with:
+
+```bash
+RXR_API_URL=https://api.rigorxrigor.com      # default
+RIGORXRIGOR_API=https://api.rigorxrigor.com  # also supported
+RIGORXRIGOR_AUTH=~/.rigorxrigor/auth.json    # default
+```
+
+The browser login callback listens on `http://127.0.0.1:8765/callback` by
+default. Override the port with `RIGORXRIGOR_LOGIN_PORT` if needed.
+
+## Local mode
+
+This package talks to the cloud API. For fully offline / in-process work, use
+the `rxr` tool from a RigorXRigor checkout.

rigorxrigor-0.1.0/pyproject.toml

@@ -0,0 +1,37 @@
+[project]
+name = "rigorxrigor"
+version = "0.1.0"
+description = "RigorXRigor CLI: verify, prove, and discover mathematics from any agent."
+readme = "README.md"
+requires-python = ">=3.10"
+license = { text = "Apache-2.0" }
+authors = [{ name = "RigorXRigor" }]
+keywords = ["math", "knowledge-graph", "llm", "agent", "verification"]
+classifiers = [
+    "Programming Language :: Python :: 3",
+    "License :: OSI Approved :: Apache Software License",
+    "Topic :: Scientific/Engineering :: Mathematics",
+    "Environment :: Console",
+]
+
+dependencies = [
+    "httpx>=0.27",
+]
+
+[project.optional-dependencies]
+dev = ["pytest>=8.0", "ruff>=0.6"]
+
+[project.scripts]
+rigorxrigor = "rigorxrigor.cli:main"
+rxr-cloud = "rigorxrigor.cli:main"
+
+[project.urls]
+Homepage = "https://app.rigorxrigor.com"
+Documentation = "https://app.rigorxrigor.com"
+
+[build-system]
+requires = ["hatchling"]
+build-backend = "hatchling.build"
+
+[tool.hatch.build.targets.wheel]
+packages = ["rigorxrigor"]

rigorxrigor-0.1.0/rigorxrigor/__init__.py

@@ -0,0 +1,2 @@
+"""rigorxrigor: pip-installable CLI for the RigorXRigor cloud API."""
+__version__ = "0.1.0"