Codync
免費、開源的 1:1 替代方案,取代 Grok Bot 與 Muse。從 iPhone、Mac 或 Linux 桌面將 Claude Code、Codex、Cursor 與 40+ 程式碼代理人作為持續機器人傳訊。群組聊天、主題串…
AI 翻譯
個人 GitHub 帳號下公開儲存庫的擁有者可以登入並驗證所有權,自行管理介紹,無需管理員核准。
登入並產生驗證檔案,在 30 分鐘內將其提交至此儲存庫的預設分支。其他分支或分叉儲存庫中的檔案無效。然後在下方檢查檔案,即可無需管理員核准直接管理專案。請保留檔案以維持管理權限。
如需登入,將前往登入頁面。登入後請回到此處,再次點擊所選的驗證按鈕。
在專案資料夾中執行 /nomorevibe verify,即可驗證所有權並自行管理介紹。
一分鐘完成驗證Deterministic, auto-graded environments for AI agents on Indian-reality tasks: UPI, GST, trip planning, forms, Hindi/Hinglish support. Rule-based grading, no LLM judge.
翻譯準備中
取自儲存庫 README
正在載入完整 README。
檢視完整 README ↗Deterministic, auto-graded environments for AI agents doing tasks set in India: planning a trip around rail quotas and waitlists, GST invoicing, filling forms, answering customers in Hindi and other Indian languages. By Navital Labs. Navital Gym is public and in active development: results are added as runs finish (see docs/RESULTS.md).
pip install navital-gym && navital-gym run --env trip --agent oracle (prints 1.00), then see the live leaderboard or docs/RESULTS.md.Read this first. Every environment uses a simplified, documented version of Indian practice and synthetic data. These are tests for AI agents, not statements about current law, railway, bank or tax rules. Not affiliated with or endorsed by NPCI, RBI, GSTN / CBIC, IRCTC / Indian Railways, any bank or any government body; names are used only to describe the workflow. Not financial or tax advice. Each env README states its own rules and an "as of" date.
| env | what the agent does | tasks |
|---|---|---|
trip | Indian trip planning under real constraints: trains with quotas / waitlists / classes, flights, road, hotels, seasons, permits | 55 (17 infeasible) |
gst | GST Desk: invoicing and return computations from documents under written, simplified rules | 50 |
form | Form Desk: filling and checking forms (KYC-style fields, addresses, numbers) | 50 |
support | Bhasha Support Desk: e-commerce returns, refunds and privacy requests in Hindi / Hinglish; Tamil, Bengali and Marathi as a labelled experimental split | 50 core + 26 experimental |
form_multidoc | Form Desk, multi-document: cross-checking identity documents and records (multi-document, PAN-name, record conflicts, OCR repair, batch) and reporting what disagrees | 40 |
upi | UPI Desk: payment attempts and disputes under written, simplified rules | 50 |
Every env README carries its simplified rules and the sources of any real-world figure.
Install from PyPI, or straight from GitHub, or from a clone (for development):
pip install navital-gym
pip install git+https://github.com/Navitallabs/navital-gym.git
pip install -e . # inside a clone
Then:
navital-gym list # envs, task counts, baselines
navital-gym run --env trip --agent oracle # a scripted reference agent: should print 1.00
navital-gym run --env trip --agent heuristic --k 3 --out runs/trip.json
python -m unittest discover -s tests # no dependencies needed
Run any model that speaks the OpenAI chat API with tool calling (Ollama, vLLM, LM Studio, hosted): --agent "openai:qwen2.5:7b@http://localhost:11434/v1" (the key is read from the provider's environment variable, OPENAI_API_KEY for openai: specs including a custom @base_url, GROQ_API_KEY, GEMINI_API_KEY, ANTHROPIC_API_KEY; never from the command line). Reports show pass@1, pass^k, per-rule failures, and separate tables per split (core / experimental) and kind (feasible / infeasible), so one mixed number is never the headline.
Python:
from navital_gym.envs.trip import load_env
env = load_env()
obs = env.reset("IN-TRIP-002") # prompt + tool specs; nothing hidden
out = env.world.call("search_trains", {"from_city": "Delhi", "to_city": "Agra", "date": "2026-12-05"})
| target | install | entry point |
|---|---|---|
| Inspect AI | pip install -e ".[inspect]" | inspect eval navital_gym/adapters/inspect_task.py@trip --model ... |
| verifiers (v1 API) | pip install -e ".[verifiers]" | navital_gym.adapters.verifiers_env:load_environment |
| OpenEnv | pip install -e ".[openenv]" | navital_gym.adapters.openenv_env:make_app (served over websocket) |
| Each adapter has an offline end-to-end test with a scripted model. They are written against young APIs (verifiers 0.4.0 v1, openenv-core 0.3.0) and have not been run in a container or a hosted space. |
Pass@1 on deterministic stratified samples or whole splits (k=1, one run per cell; n = tasks, so one task is 1/n of the cell: read small-n cells as indicative). 'easy' columns are the easy tier (designed so a 7B-30B model can sometimes solve them); the others are the standard tasks. Full tables with format failures, strict (no-repair) pass@1, partial credit, spend, dates and commits: docs/RESULTS.md. Every row was re-graded by the same grading code (scripts/regrade.py); check it with git rev-parse v1.1.0:navital_gym (see docs/RESULTS.md).
Small and mid-size models: pass@1 (the typical user's models)
| model | trip | form | form multi-document | gst | support | upi |
|---|---|---|---|---|---|---|
| claude-haiku-4-5 | 0.35 (n=55) | 0.94 (n=50) | 0.98 (n=40) | 0.84 (n=50) | 0.42 (n=76) | 0.52 (n=50) |
| gemini-3.1-flash-lite | - | - | - | - | - | 0.78 (n=50) |
| sarvam-105b | 0.29 (n=55) | 0.98 (n=50) | 1.00 (n=40) | 0.82 (n=50) | 0.54 (n=76) | 0.58 (n=50) |
Small and mid-size models: partial credit (mean fraction of scored rules passed; shows progress where pass@1 is near zero)
| model | trip | form | form multi-document | gst | support | upi |
|---|---|---|---|---|---|---|
| claude-haiku-4-5 | 0.66 | 0.97 | 0.99 | 0.93 | 0.74 | 0.73 |
| gemini-3.1-flash-lite | - | - | - | - | - | 0.92 |
| sarvam-105b | 0.56 | 1.00 | 1.00 | 0.91 | 0.87 | 0.75 |
Larger models, for reference (what strong models reach)
| model | trip | form | form multi-document | gst | support | upi |
|---|---|---|---|---|---|---|
| claude-opus-5-5 | 0.93 (n=55) | 1.00 (n=50) | 1.00 (n=40) | 1.00 (n=50) | 0.97 (n=76) | 1.00 (n=50) |
| claude-sonnet-5-5 | 0.84 (n=55) | 1.00 (n=50) | 1.00 (n=40) | 1.00 (n=50) | 0.91 (n=76) | 0.94 (n=50) |
Most of the models people will test are small or mid-size, so they come first. Many score low: that is the point of a hard benchmark, but a cell near zero says little, so read partial credit next to it. Samples are small and the small and mid-size models above are not the strongest agents available; these results show that the environments separate models, not a leaderboard. Task difficulty labels are designer intent, not calibrated.
docs/ENV_AUTHORING.md (a new env is mostly data plus rules on the shared core) and docs/CORE-API.md (the frozen core interfaces).
Code: Apache-2.0 (LICENSE, copyright Navital Labs, see NOTICE). Task data: CC BY 4.0 (LICENSE-DATA), covering navital_gym/envs/*/tasks*.jsonl and navital_gym/envs/*/FLAG_CHANGES.md. Cite with CITATION.cff.