modiqo/skillspec
산문 형태로 작성된 AI 에이전트 스킬을 구조화된 계약으로 변환하여 에이전트가 안전 규칙을 준수하고 완료 증명을 검증 가능하게 제공하도록 하는 도구.
keslr/keslr_connect
Keslr 네트워크와 통합하여 애플리케이션이 검증된 인간만이 접근할 수 있도록 보장하는 TypeScript 패키지 세트로, 신뢰 그래프 인증과 사설 네트워크 주소 지정을 활용합니다.
ThinkfleetAI/memmesh
호스팅된 벡터 데이터베이스 없이 단일 Rust 바이너리로 실행되는 지속적이고 타입이 지정되며 검색 가능한 로컬 우선 메모리 저장소. AI 에이전트를 위한 내구성 있고, 타입이 지정되며 검색 가능한 메모리를 제공.
modiqo/waggle
무거운 컨텍스트 전달을 30바이트 토큰으로 대체하여 검증 가능한 텔레메트리와 맞춤형 데이터 프로젝션을 제공하는 다중 에이전트 시스템의 참조 레이어
astrio-labs/forall
AI 기반의 형식 검증 도구로, 사양과 증명의 자동 생성을 통해 소프트웨어의 정확성을 기계 검증 가능한 증거로 제공합니다.
drmingler/smart-llm-loader
OCR 및 LLM 기반 시맨틱 청킹을 사용하여 문서와 스캔된 이미지를 깨끗하고 구조화된 마크다운 청크로 변환하는 Python 패키지. RAG 시스템용.
vostride/agent-qa
사용자가 자연어로 웹 및 모바일 테스트를 작성할 수 있게 해주고, 자기 치유 AI 에이전트를 사용하여 UI 변경에 적응하는 에이전트형 QA 하네스입니다.
beenuar/AiSOC
AI 에이전트의 의사결정에 대한 완전한 투명성과 재현 가능한 감사 추적을 제공하는 오픈소스, 자체 호스팅 가능한 AI SOC.
clawplays/ospec
요구사항, 계획, 검증 증거를 프로젝트 리포지토리에 직접 지속적으로 저장하는 사양 기반, 에이전트 기반 워크플로우 프레임워크.
emiliaprotocol/emilia-protocol
자율 AI 에이전트가 승인되지 않은 중대한 행동을 하지 않도록, 유한하고 검증 가능한 임무 내에서 작동하도록 보장하는 보안 프로토콜 및 강제 게이트입니다.
pathwaycom/pathway
Pathway는 배치 또는 스트리밍 데이터 파이프라인을 구축하기 위한 파이썬 중심, 루스트 백엔드 프레임워크입니다. 다양한 소스에 대한 커넥터, 상태 기반 연산자, 지속성, 전용 LLM 툴킷(래퍼, 파서, 벡터 인덱스)을 제공하여 Docker 또는 Kubernetes를 통해 실시간 RAG 및 기타 LLM 애플리케이션을 쉽게 작성하고 배포할 수 있습니다.
SigmanticAI/apex-inference-chip
에지 추론을 최적화하기 위해 데이터패스에 직접 KV 캐시 압축을 통합한 완전히 오픈소스이며 검증 우선의 LLM 추론 하드웨어 타일입니다.
colinlikescode/NanoGPT-Speedrun-Winner
메모리 및 가중치 평균화 기술을 사용하여 modded-nanogpt 챌린지의 새로운 속도 기록을 세우는 최적화된 GPT-2 학습 구현입니다.
drmingler/docling-api
FastAPI와 Celery 기반의 API를 사용하여 PDF, DOCX 등 다양한 문서 형식을 마크다운으로 변환하는 확장 가능한 백엔드 서버. IBM의 Docling을 활용.
pathwaycom/arc-task-gen
AI 모델을 미학습 문제로 평가하고 벤치마크 오염을 방지하기 위해, 공개 데이터셋의 분포와 일치하는 새로운 ARC-AGI-1 스타일의 태스크를 생성하는 태스크 생성기입니다.
Jwuthri/Tracely-ai
AI 에이전트를 위한 트레이스 기반 CI/CD 플랫폼으로, 프로덕션 장애를 자동화된 회귀 테스트로 변환하여 버그가 포함된 릴리스를 차단합니다.
yudaprasetya007/routeVSCODE
VSCode 확장 프로그램과 프록시를 통해 사용자가 GitHub Copilot Chat에서 AI 모델을 즉시 전환할 수 있도록 하며, 에디터를 다시 로드할 필요 없음.
yureii1996/cek-probe-model
OpenAI 호환 모델 엔드포인트를 테스트하여 제공되는 모델이 해당 라벨과 일치하는지 검증하는 Python 스크립트 모음.
martian56/redcell
REDCELL은 LLM 기반 에이전트를 사용하여 전체 침투 테스트(실제 Kali 도구, 브라우저 자동화, 리버스 셸)를 실행하고 세련된 보고서를 생성하는 오픈 소스 자체 호스팅 플랫폼입니다. 모든 것은 실시간 React 콘솔을 통해 제어됩니다.
halofyai/halofy
조직 전체에 걸쳐 통일된 ID, 정책 집행 및 감사 가능한 컨텍스트 관리를 제공하는 AI 에이전트를 위한 오픈 액세스 및 거버넌스 계층입니다.
tigerless-labs/cost-xray
AI 코딩 에이전트를 위한 로컬 API 트래픽 캡처 도구로, 시스템 프롬프트 및 툴 스키마와 같은 특정 요청 구성 요소에 토큰 비용을 정확히 할당합니다.
shinthink/blitzstrike
구조화된 침투 테스트 방법론(정찰, 분석, 검증)을 구현하여 라이브 검증을 통한 LLM 기반 보안 감사를 제공하는 MCP 서버.
EvoMap/AutoResearch
AI/ML 연구를 위한 오픈소스 에이전트 워크플로우로, 아이디어 생성부터 실험 실행까지 자동화하여 논문용 증거를 생성합니다.
cortex-docs/cortex
Cortex는 API 사양과 마크다운을 단일 구성 파일에서 타입 지정된 SDK, 인터랙티브 문서, AI 에이전트용 MCP 서버로 변환합니다.
ukanwat/selfstarter
채팅 인터페이스 대신 간결한 요약 기반 접근 방식을 사용하여 Unreal Engine 5에서 장기적인 엔지니어링 작업을 수행하는 자율 AI 에이전트를 위한 하드웨어.
LibreChat-AI/rag-api
pgvector 또는 MongoDB를 사용하여 ID 기반 문서 인덱싱 및 검색을 지원하는 비동기 FastAPI 기반 RAG API로, 엄격한 소유권 기반 접근 제어를 구현합니다.