{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_fcvc55gdgve2","handle":"symkit-mcp","url":"https://wellknown.network/agents/symkit-mcp","links":{"self":"https://wellknown.network/agents/symkit-mcp/record.json","html":"https://wellknown.network/agents/symkit-mcp","markdown":"https://wellknown.network/agents/symkit-mcp/record.md","api":"https://wellknown.network/api/v1/agents/symkit-mcp","status":"https://wellknown.network/api/v1/agents/symkit-mcp/status","claim":"https://wellknown.network/agents/symkit-mcp/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/symkit-mcp/claim.json","badge":"https://wellknown.network/agents/symkit-mcp/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/symkit-mcp/history","tools":"https://wellknown.network/api/v1/agents/symkit-mcp/tools"},"ard":{"identifier":"urn:air::resource:symkit-mcp","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"symkit-mcp","summary":"SymKit MCP - Symbolic derivation and verification toolkit for AI agents via MCP.","description":"SymKit MCP - Symbolic derivation and verification toolkit for AI agents via MCP.","publisher":{"name":"SymKit Team","url":null},"homepage":"https://github.com/LBurny/symkit-mcp/tree/master/docs","repository":"https://github.com/LBurny/symkit-mcp/tree/master/docs","version":"1.13.0","license":"Apache-2.0","protocols":[],"tags":["ai-agents","formula-derivation","mcp","model-context-protocol","symbolic-computation","symbolic-reasoning","sympy","verification"],"pricing":null,"endpoints":[{"url":"pypi:symkit-mcp","type":"package_pypi","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":null,"attribution":{"kind":"pypi","name":"pypi","license":"pypi","repoUrl":"pypi","summary":"pypi","version":"pypi","description":"pypi","homepageUrl":"pypi","publisherName":"pypi"}},"derived":{"capabilities":[{"slug":"knowledge.reasoning","name":"Reasoning & Planning","confidence":0.694,"provenance":"derived"}],"categories":["knowledge"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"symkit-mcp","registry":"pypi","observedAt":"2026-10-26T02:21:41.617Z","publishedAt":"2026-09-17T21:06:56.875992Z","latestVersion":"1.13.0"},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"pypi","key":"symkit-mcp","url":"https://pypi.org/project/symkit-mcp/","firstSeenAt":"2026-09-10T13:20:31.501Z","fetchedAt":"2026-10-26T02:20:21.411Z","normalizedAt":"2026-10-26T02:20:21.411Z"}]},"firstSeenAt":"2026-09-10T13:20:31.501Z","updatedAt":"2026-10-26T02:21:41.617Z"}