remote-capable server
The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.
Integrations
Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.
Penrose MCP 서버
Penrose를 위한 모델 컨텍스트 프로토콜(MCP) 서버 - 자연어를 통해 아름다운 수학적 다이어그램을 만듭니다.
개요
이 MCP 서버는 Penrose의 도메인 특정 언어를 사용하여 수학적 다이어그램을 만드는 데 필요한 도구와 리소스를 제공합니다.
- 도메인(DSL) : 수학적 유형과 관계 정의
- 물질 : 수학적 객체와 그 관계를 설명합니다.
- 스타일 : 시각적 표현 규칙 지정
프로젝트 구조
.topos/: 연구 자료 및 문서(gitignored)penrose-research/: 설계 문서 및 사양mcp-examples/: MCP 서버 구현 참조mcp-spec/: 공식 MCP 프로토콜 문서
개발
justfile을 사용하여 문서와 참고 자료에 액세스하세요.
지엑스피1
특허
MIT 라이선스 - 자세한 내용은 라이선스 파일을 참조하세요.
You must be authenticated.
펜로즈의 도메인 특정 언어를 통해 자연어를 사용하여 수학적 다이어그램을 만드는 것을 용이하게 하여 수학적 유형, 관계 및 시각적 표현 규칙을 정의할 수 있습니다.