p-org/P

어떤 프로젝트인가요?

핵심 기능

• 01안전성 및 활성성 명세를 포함해 시스템을 서로 통신하는 상태 머신으로 모델링합니다.
• 02메시지 순서의 뒤섞임과 장애를 체계적으로 탐색해 찾기 어려운 버그를 찾아냅니다.
• 03컴파일러는 기본적으로 한 번의 과정에서 모든 타입 오류를 보고하며, strict 모드도 사용할 수 있습니다.
• 04PObserve는 런타임에 서비스 로그를 P 명세와 대조해 검증합니다.
• 05PeasyAI는 상태 머신과 테스트 드라이버를 생성하며, MCP를 통해 Cursor 및 Claude Code와 연동됩니다.

활용 사례

• 구현에 앞서 분산 프로토콜이나 마이크로서비스 상호작용의 설계를 검증합니다.
• 통합 테스트로 놓치는 동시성 및 장애 처리 버그를 찾습니다.
• 기존 형식 명세를 기준으로 프로덕션 서비스 로그를 검사합니다.
• AI 도구를 사용해 설계 문서에서 P 모델의 초안을 작성합니다.

빠른 시작

1. 1

   P CLI와 종속 항목이 포함된 공식 Docker 이미지를 실행하세요

   docker run --rm -it -v "$PWD":/workspace ghcr.io/p-org/p:latest
2. 2

   로컬에 설치하려면 프로젝트 사이트의 설치 가이드를 따르세요

사용 전 알아둘 점

• !로컬 환경을 설정하려면 .NET SDK, JDK, Maven, graphviz가 필요하므로 Docker 이미지를 사용하는 편이 더 간단합니다.

포함된 컬렉션

토픽

자주 묻는 질문

P은(는) 무엇인가요?

분산 시스템을 형식적으로 모델링하고 정확성을 체계적으로 검증하기 위한 상태 머신 기반 프로그래밍 언어입니다. P를 사용하면 개발자가 시스템 설계를 서로 통신하는 상태 머신의 집합으로 모델링하고, 자동 추론 백엔드로 설계가 정확성 명세를 충족하는지 검사할 수 있습니다. 메시지 순서가 뒤섞이고 장애가 발생해 일반적인 테스트만으로 버그를 찾기 어려운 분산 시스템 및 이벤트 기반 시스템을 대상으로 합니다.

P은(는) 무료로 사용할 수 있나요? 라이선스는 무엇인가요?

P은(는) MIT 라이선스의 오픈소스입니다. 상업용 제품에 사용하기 전에 라이선스 조건을 확인하세요.

P은(는) 아직 유지보수되고 있나요?

6개월 이내 업데이트. P의 마지막 커밋은 2026년 9월 3일입니다.

P은(는) 어디에 사용할 수 있나요?

구현에 앞서 분산 프로토콜이나 마이크로서비스 상호작용의 설계를 검증합니다. 통합 테스트로 놓치는 동시성 및 장애 처리 버그를 찾습니다. 기존 형식 명세를 기준으로 프로덕션 서비스 로그를 검사합니다. AI 도구를 사용해 설계 문서에서 P 모델의 초안을 작성합니다.

P는 어떻게 설치하나요?

P CLI와 종속 항목이 포함된 공식 Docker 이미지를 실행하세요: docker run --rm -it -v "$PWD":/workspace ghcr.io/p-org/p:latest 로컬에 설치하려면 프로젝트 사이트의 설치 가이드를 따르세요

P은(는) 어디서 받을 수 있나요?

소스 코드와 설치 방법은 GitHub에 있습니다: https://github.com/p-org/P