Not in the top 1,000 by GitHub stars
Alpha-Park/genpark-reasoning-formal-symbolic-proof-checker-skill
GenPark Reasoning Formal Symbolic Proof Checker - Zero-dependency propositional logic assertion and formal symbolic deduction validator.
History
Review weekly changes to SKILL.md before updating. Dates mark the weeks in which we observed each version; checks apply to the recorded commits.
View weekly changes
SKILL.md
Week of Nov 2, 2026 · Line counts unavailable
Before Not checked yet → After Network or broad shell
First observation → f25819a46284
No earlier version was observed for comparison.
Heat
Insufficient historyNot enough history yet to measure heat. It appears after a few days of data.
Heat never changes the order by stars, and sponsorship never touches it. How heat works
Stars over time
30-day change not yet available: not enough history.
Individual skills in this repository
How it works
genpark-reasoning-formal-symbolic-proof-checker-skill
When your agent uses it
GenPark Reasoning Formal Symbolic Proof Checker - Zero-dependency propositional logic assertion and formal symbolic deduction validator.
What it loads into context
Frontmatter
70 tokensAlways available to the agent
SKILL.md
342 tokensWhen the skill is activated
Reference documents
973 tokensLoaded on request
Token counts are estimates. Scripts run separately; they are not counted as reference context.
The playbook
- Overview & Agent Behavioral Directives
- When to Activate This Skill
- How to Execute
- Core Mathematical & Algorithmic Guardrails
Scripts executed separately
client.pyexample_usage.pymcp_server.py
Files
.gitignoreasset57 bytesLICENSEasset1,071 bytesREADME.mddoc4,214 bytesSKILL.mdcore1,629 bytesSKILL.mdcore1,629 bytesclient.pyruns4,105 bytesexample_usage.pyruns1,736 bytesmcp_server.pyruns3,315 bytesrequirements.txtdoc75 bytesskill.jsonasset450 bytes
Read SKILL.md
# Genpark Reasoning Formal Symbolic Proof Checker Skill
## Overview & Agent Behavioral Directives
You are an autonomous agent specialized in **Genpark Reasoning Formal Symbolic Proof Checker Skill**.
Your primary directive is to execute: GenPark Reasoning Formal Symbolic Proof Checker - Zero-dependency propositional logic assertion and formal symbolic deduction validator.
Always ensure mathematical precision, parameter validation, and deterministic outputs.
## When to Activate This Skill
- Activate when an agent workflow or user instruction requires:
- `execute_reasoning_formal_symbolic`
- Activate when operating in zero-dependency environments requiring pure Python standard library execution.
## How to Execute
Skills included
- genpark-reasoning-formal-symbolic-proof-checker-skill
Repository facts
- License
- MIT
- Created
- Oct 28, 2026
- Last pushed
- Oct 31, 2026
- Forks
- 0
- Open issues
- 0
- Project activity
- Active
Before you install
Network or broad shellAutomated signals, not a guarantee
Checked Nov 4, 2026
Not fully analyzed: some files were too long, unreadable or missing. This never lowers the level.
Show 1 note
SKILL.md:1Analysis incomplete: Referenced executable target unavailable; not analyzed
- No broad tool permissions
- 1 dangerous shell commandin 1 file: client.py:60
- 4 network referencesin 1 file: README.md:5
- No hidden or obfuscated text
- No instruction overrides
- 3 executable scriptsin 3 files: client.py:1 example_usage.py:1 mcp_server.py:1
- 1 reference to secretsin 1 file: .gitignore:3
- No requests to vote in Hot
Show all 9 signals by file
.gitignore
- Access to secretsline 3
[Credential-related source omitted]
README.md
- Network accessline 5
[](https://www.python.org/) - Network accessline 6
[](LICENSE) - Network accessline 7
[](https://modelcontextprotocol.io/) - Network accessline 8
[-brightgreen.svg?style=for-the-badge)](requirements.txt)
client.py
example_usage.py
- Executable scriptline 1
Executable file
mcp_server.py
- Executable scriptline 1
Executable file
How the signals fit together
Facts from a static read of the files at the pinned commit. They describe what the code does, not why.
Some files could not be read; the facts below still hold.
Signal confidence: 8 facts
- Network access in prose of documentationREADME.md:5Low confidence
- Network access in prose of documentationREADME.md:6Low confidence
- Network access in prose of documentationREADME.md:7Low confidence
- Network access in prose of documentationREADME.md:8Low confidence
- Executable script in a comment of a file that runsclient.py:1Low confidence
- Dangerous shell operation in code of a file that runsclient.py:60High confidence
- Executable script in a comment of a file that runsexample_usage.py:1Low confidence
- Executable script in a comment of a file that runsmcp_server.py:1Low confidence
Works with
| Agent | Status | Evidence | Install to |
|---|---|---|---|
| Claude Code | Compatible | Standard SKILL.md SKILL.md | .claude/skills/<skill-name>/ |
| Codex | Compatible | Standard SKILL.md SKILL.md | .agents/skills/<skill-name>/ |
| Cursor | Compatible | Standard SKILL.md SKILL.md | .cursor/skills/<skill-name>/ |
| Gemini CLI | Compatible | Standard SKILL.md SKILL.md | .gemini/skills/<skill-name>/ |
| GitHub Copilot | Compatible | Standard SKILL.md SKILL.md | .github/skills/<skill-name>/ |
| OpenCode | Compatible | Standard SKILL.md SKILL.md | .opencode/skills/<skill-name>/ |
- Native The repository ships a manifest, folder or frontmatter field for this agent.
- Compatible A standard SKILL.md that this agent can read.
- Unknown No evidence either way.
Derived automatically from paths, manifests and frontmatter. Not tested on each agent.
