Haladir vs i-have-adhd

2つのAIツールの機能・価格・特徴を詳しく比較します。

Haladir

LLMのコーディング性能向上のため、形式検証を通過した高品質なデータと強化学習環境を提供するプラットフォーム

詳細レビューを見る

i-have-adhd

コーディングエージェントの回答を簡潔かつ明確にし、すぐに実行できるようにするADHDフレンドリーなAgent Skill

詳細レビューを見る
項目Haladiri-have-adhd
料金タイプ料金は問い合わせ無料
韓国語対応非対応非対応
プラットフォームWeb, APIClaude Code, OpenAI Codex, Gemini CLI, GitHub Copilot, Cursor, Zed
オープンソース非対応対応
API 提供--
SDK--
LLMベース--
マルチモーダル--
AIモデル--
GitHub Stars-27.4K
開発元Haladir-
カテゴリ開発ツール開発ツール
詳細見る 見る

Haladir の主な機能

  • TLA+ 기반 소스 코드 명세 합성 및 정형 검증
  • 메인프레임(COBOL) 코드 현대화 자동화
  • RLVR(검증 가능한 보상 기반 강화학습) 환경 구축
  • 솔버 기반(SMT/SAT, MILP) 제약 조건 추론 및 코딩 데이터 파이프라인
  • 물류 WMS·TMS·OMS 시스템 통합 운영 그래프

i-have-adhd の主な機能

  • 답변과 다음 행동을 먼저 제시
  • 다단계 작업을 번호 목록으로 구성
  • 진행 상태를 매 턴 재표시
  • 구체적인 시간 추정 제공
  • 오류를 위치·원인·해결책 중심으로 설명
  • 불필요한 서론과 맺음말 억제