Atomadic Forge
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
설치
원클릭 설치
`claude_desktop_config.json` 파일에 다음을 추가하세요:
{
"mcpServers": {
"atomadic-forge": {
"command": "forge",
"args": [
"atomadic-forge"
]
}
}
}실행 가능한 패키지
pypiatomadic-forge
0.87.0stdio원격 엔드포인트
https://forge.atomadic.tech/mcpstreamable-http할 수 있는 일
도구 목록
게시할 수 있는 도구 열거가 기록되지 않았습니다.
커뮤니티
증거
최근 관측
관측 실패버전이 기록되지 않음—