تخطٍّ إلى المحتوى

محرك التحقق

اكتشف ما يكسره agent أثناء عمله.

يتحقق Panolayer من كل تغيير مقابل كل ما يعتمد عليه، عند كل حفظ وكل مرة ينتهي فيها agent من عمله. وعندما يرصد خطأً، تحصل على السطر، والقاعدة التي خالفها، وخطوات إعادة إنتاجه.

مجاني للبدء · لا حاجة إلى بطاقة ائتمان

Verification Engine · find the bug, fix it, review the result

A real verification run finds a file-handle bug in writeArchive. Fix hands it to Panolayer Agent, the change is checked again, and the result is presented for review before merging.

لقطة كاملة · مرّر للاطلاع على التفاصيل

يقوم agent بتغيير getUser() ليعيد null بدلاً من رفع استثناء.

تُترجم الشفرة. تنجح اختبارات getUser. ستة مستدعين يقرؤون user.name دون التحقق من null، ويفشلون في بيئة staging بعد ثلاثة أيام. لم يخبرك أي شيء في diff بوجودهم.

كيف يعمل

من مصدرك إلى خطأ يمكنك إعادة إنتاجه

خمس خطوات تعمل عند كل حفظ وكل مرة يقول فيها agent إنه انتهى.

01

حلّل شفرتك

يحلّل Panolayer repository الخاص بك مثل مترجم: الملفات، والوحدات، والدوال، والفئات، والاستيرادات، ومخطط الاستدعاء الكامل. تُحلّ الرموز من المصدر، ولا يخمّنها نموذج.

كيف تعمل البنية
Architecture · parsed from source

Architecture · parsed from source

Panolayer Studio architecture map connects the sample repository to its routes, components and shared libraries.

لقطة كاملة · مرّر للاطلاع على التفاصيل

02

حدّد ما تتوقعه الشفرة

يستنبط Panolayer قواعد لسلوك كل دالة، مثل «يُعيد مستخدمًا أو يرفع استثناءً، ولا يُعيد null أبدًا». أضف قواعدك الخاصة، أو صحّح قاعدة أخطأ فيها.

The rule the function must follow

The rule the function must follow

The file rule requires writeArchive to close the descriptor opened by fs.openSync on every return path, including when a write throws. An Add a file rule field appears below it.

لقطة كاملة · مرّر للاطلاع على التفاصيل

03

اعرف بالضبط ما الذي انكسر

تعرض حالة الفشل الدالة، والقاعدة التي خالفها، وما حدث فعليًا، وأين، والمستدعين المتأثرين. وفي الأخطاء المؤكدة، تحصل أيضًا على المدخل الذي يسبب الفشل، لتشغّله وترى الفشل بأم عينيك.

The failure, anchored to the source

The failure, anchored to the source

The review explains that writeArchive opens a file descriptor at line 12 without closing it on the return at line 25 or when fs.writeSync throws, then describes the repair.

لقطة كاملة · مرّر للاطلاع على التفاصيل

04

ما كسره هذا التغيير فقط

تُقارن النتائج بكودك قبل التغيير. وتُوسم حالات الفشل الموجودة أصلًا بأنها سابقة للوجود، لترى الجديد لا تراكمًا قديمًا.

New failures vs. the project baseline

New failures vs. the project baseline

Worktree verification reports no new failures or rule regressions and separately labels two pre-existing failures that do not block the merge.

لقطة كاملة · مرّر للاطلاع على التفاصيل

05

أصلح الخلل، أو أصلح القاعدة

أصلح الكود بنفسك، أو أرسل حالة الفشل إلى Panolayer Agent أو إلى agent الخاص بك مع المستدعين المتأثرين كسياق. وإن كانت القاعدة خاطئة، صحّحها. وفي الحالتين، تُعاد عملية التحقق.

Hand the failed rule to Panolayer Agent

Hand the failed rule to Panolayer Agent

The Fix menu beside the writeArchive file rule offers Panolayer Agent to work on the failure.

لقطة كاملة · مرّر للاطلاع على التفاصيل

ذاكرة دائمة

يتعلّم كيف ينبغي أن يتصرّف كودك

يُحتفظ بكل تصحيح مع المشروع. يبدأ كل agent جلسةً وهو يعرف ذلك مسبقًا، وتزداد الفحوص دقةً كلما زاد استخدامك لـ Panolayer.

Project context · editable function descriptions

The writeArchive function description explains that it writes posts to a JSON Lines file and returns its path. A pencil control edits the description, with Verified · No issues found displayed below.

لقطة كاملة · مرّر للاطلاع على التفاصيل

أين يعمل

طريقتان لرصد ما يكسره agents الخاصة بك

يعمل Verification Engine نفسه في تطبيق Mac وفي محررك.

Agents

يعمل مع agents التي تستخدمها بالفعل

يفحص Panolayer Verification Engine الكود بغض النظر عمن كتبه: أنت، أو Panolayer Agent، أو أي من agents المدعومة الـ 20+ في Agent Marketplace.

  • Panolayer AgentPanolayer Agent
  • AiderAider
  • Claude CodeClaude Code
  • Cline CLICline CLI
  • Codex CLICodex CLI
  • CrushCrush
  • Deep Agents CodeDeep Agents Code
  • Gemini CLIGemini CLI
  • GitHub Copilot CLIGitHub Copilot CLI
  • GooseGoose
  • Kilo Code CLIKilo Code CLI
  • Kimi CodeKimi Code
  • Letta CodeLetta Code
  • mini-SWE-agentmini-SWE-agent
  • Mistral VibeMistral Vibe
  • Open InterpreterOpen Interpreter
  • OpenClawOpenClaw
  • OpenCodeOpenCode
  • Pi Coding AgentPi Coding Agent
  • PlandexPlandex
  • Qwen CodeQwen Code
تصفّح Agent Marketplace

الأسئلة الشائعة

أسئلة

شيء آخر؟ تواصل معنا وسنرد عليك.

ما هي القاعدة؟

توقّع بشأن كيفية تصرّف الكود، مثل “يعيد مستخدمًا أو يرفع استثناءً، ولا يعيد null أبدًا.” يشتق Panolayer معظم القواعد من كودك، وتعمل عند كل تغيير.

هل يمكنني كتابة قواعدي الخاصة؟

نعم. تعمل قواعدك إلى جانب القواعد التي يشتقها Panolayer.

ماذا يحدث عندما تكون القاعدة خاطئة؟

صحّحه. يُحتفظ بالتصحيح مع المشروع ويؤثر في كل فحص لاحق.

متى يعمل التحقق؟

عند حفظك ملفًا في فرعك، وعندما يعلّم agent مهمةً بأنها منجزة.

ما مدى سرعته؟

تعود النتائج في ثوانٍ، بسرعة تكفي لتشغيل agent والتحقق والإصلاح والتحقق مجددًا دون مغادرة المهمة.

هل يُرسَل الكود الخاص بي إلى نموذج؟

يبقى repository الخاص بك وفهرسه على Mac الخاص بك ما لم تزامنهما أو تشاركهما. ترسل الميزات التي تستخدم نموذجًا المقتطفات ذات الصلة إلى المزوّد الذي أعددته، وفق شروط ذلك المزوّد. المزيد في صفحة الأمان.

هل يمنع الدمج الخاص بي؟

إنه يقيّد agent، لا أنت. يُتحقق من عمل agent قبل أن تقرر ما سيُدمج، ويمكنك دائمًا أن تقوم بـ commit والدمج بنفسك. تبقى الإخفاقات مدرجة.

هل يستبدل اختباراتي؟

لا. يعمل إلى جانبها، وحيث تضبطه، يشغّل اختباراتك وعمليات البناء وفحوصات الأنواع أيضًا.

ثق بما يشحنه agent لديك.

مجاني للبدء · لا حاجة إلى بطاقة ائتمان

التالي: Panolayer Studio